E-MaLeS
From MaRDI portal
Software:27083
No author found.
Related Items (11)
ENIGMA: efficient learning-based inference guiding machine ⋮ Heterogeneous heuristic optimisation and scheduling for first-order theorem proving ⋮ MaLeS: a framework for automatic tuning of automated theorem provers ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Cooperating Proof Attempts ⋮ A neurally-guided, parallel theorem prover ⋮ Automated deduction -- CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9--14, 2013. Proceedings ⋮ Learning-assisted theorem proving with millions of lemmas ⋮ Hierarchical invention of theorem proving strategies ⋮ E-MaLeS 1.1 ⋮ Hammering towards QED
This page was built for software: E-MaLeS
