Make E Smart Again (Short Paper)

DOI10.1007/978-3-030-51054-1_26MaRDI QIDQ5049019zbMATH OpenOpenAlexFDO

Authors Zarathustra A. Goertzel

Publication date 9 November 2022

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2004.08858

Mathematics Subject Classification ID

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

Cites work

• A New Class of Automated Theorem-Proving Algorithms
• ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
• ENIGMA: efficient learning-based inference guiding machine
• ENIGMAWatch: ProofWatch meets ENIGMA
• Enhancing ENIGMA given clause guidance
• Extending E prover with similarity based clause selection strategies
• Faster, higher, stronger: E 2.3
• Hierarchical invention of theorem proving strategies
• MPTP 0.2: Design, implementation, and initial experiments
• MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
• MizAR 40 for Mizar 40
• Rewrite-based Equational Theorem Proving with Selection and Simplification
• Selecting the selection

Cited in

(1)

• \textsf{lazyCoP}: lazy paramodulation meets neurally guided search

Describes a project that uses

Uses Software

• ENIGMA
• XGBoost
• BliStrTune
• MaLARea
• VAMPIRE
• MPTP 0.2

This page was built for publication: Make E Smart Again (Short Paper)

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