Make E Smart Again (Short Paper)

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

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

• MizAR 40 for Mizar 40
• MPTP 0.2: Design, implementation, and initial experiments
• Faster, higher, stronger: E 2.3
• Enhancing ENIGMA given clause guidance
• Hierarchical invention of theorem proving strategies
• 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
• ENIGMAWatch: ProofWatch meets ENIGMA
• ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
• ENIGMA: efficient learning-based inference guiding machine
• Selecting the selection
• Extending E prover with similarity based clause selection strategies

Cited In (1)

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

Uses Software

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

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)