The Isabelle ENIGMA

DOI10.4230/LIPICS.ITP.2022.16MaRDI QIDQ6572551zbMATH OpenFDO

Authors Zarathustra A. Goertzel, Jan Jakubův, Cezary Kaliszyk, Miroslav Olšák, Jelle Piepenbrock, Josef Urban

Publication date 15 July 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ITP.2022.16

zbMATH Keywords

E proverENIGMAisabelle/sledgehammerpremise selection

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(3)

• Solving hard Mizar problems with instantiation and strategy invention
• Machine learning for quantifier selection in cvc5
• The Naproche-ZF theorem prover (short paper)

This page was built for publication: The Isabelle ENIGMA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572551)