Comments (2)
relaxed proof-state mode to take advantage of parallel branches in abduction graph in the presence of parallelism.
from psl.
No. We should not pass around Proof.state because we want to deal with conjectures explicitly: when we bury proved conjectures in the proof context, reasoning over such conjectures becomes harder.
from psl.
Related Issues (20)
- Abduction: Don't use Unsynchronized.inc for proof_id in Or_Node.ML HOT 2
- Abduction: Seed_Of_And_Node.ML contains functions that belong to somewhere else.
- Abduction: Do not include refuted nodes in an abduction graph. HOT 1
- Abduction: something strange about cut_edge_to_andnode_if_no_parental_ornode_can_be_proved_assmng_subgoals. HOT 8
- Abduction: graph_gg_parent_not_finished_updated HOT 1
- Abduction: lists of completely proved lemmas in Shared State. HOT 2
- Abduction: decremental conjecture identification in each layer. HOT 19
- Abduction: clear shared states before executing a deep abduction. HOT 1
- Abduction: order the terms in the key for and-nodes. HOT 1
- Abduction: The name Seed_Of_And_Node does not reflect what it is. HOT 1
- Abduction: More SeLFiE assertions to prune bad conjectures.
- Abduction: Shared_State for template-based conjecturing. HOT 1
- Can we get rid of chained state from `seed_of_or2and_edge`? HOT 1
- Abduction: More aggressive parallelism for simultaneous abduction.
- Synthetic SeLFiE: Soft Type
- Abduction: print incomplete proof attempts every once in a while
- Abduction: Evaluation script needed
- Abduction: Abduction Prover against MiniF2F
- Past version of Isabelle seems an error in README HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from psl.