Make E Smart Again (Short Paper)

DOI10.1007/978-3-030-51054-1_26OpenAlexW3038378861MaRDI QIDQ5049019

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)

Related Items (1)

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

Uses Software

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

Cites Work

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

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