The following pages link to E-MaLeS (Q27083):
Displayed 11 items.
- MaLeS: a framework for automatic tuning of automated theorem provers (Q286787) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- Automated deduction -- CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9--14, 2013. Proceedings (Q1953299) (← links)
- Heterogeneous heuristic optimisation and scheduling for first-order theorem proving (Q2128804) (← links)
- A neurally-guided, parallel theorem prover (Q2180215) (← links)
- ENIGMA: efficient learning-based inference guiding machine (Q2364687) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Cooperating Proof Attempts (Q3454105) (← links)
- E-MaLeS 1.1 (Q4928455) (← links)
- Hierarchical invention of theorem proving strategies (Q5145434) (← links)
- Hammering towards QED (Q5195271) (← links)