Pages that link to "Item:Q4465166"
From MaRDI portal
The following pages link to Automatic Learning of Proof Methods in Proof Planning (Q4465166):
Displaying 16 items.
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- Octopus: combining learning and parallel search (Q861370) (← links)
- Adaptation of declaratively represented methods in proof planning (Q1277343) (← links)
- A learning procedure for mathematics. (Q1353940) (← links)
- Automatic acquisition of search control knowledge from multiple proof attempts. (Q1854367) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Improving the time efficiency of proving theorems using a learning mechanism (Q2740950) (← links)
- Towards learning new methods in proof planning (Q2751546) (← links)
- The TM system for repairing non-theorems (Q2848060) (← links)
- SEPIA: Search for Proofs Using Inferred Automata (Q3454097) (← links)
- (Q4263171) (← links)
- Learning domain knowledge to improve theorem proving (Q4647500) (← links)
- Learning Strategies for Mechanised Building of Decision Procedures (Q4916230) (← links)
- Teaching Automated Theorem Proving by Example: PyRes 1.2 (Q5048999) (← links)
- Mathematical Knowledge Management (Q5313061) (← links)
- Mining State-Based Models from Proof Corpora (Q5495930) (← links)
