Cites work
- scientific article; zbMATH DE number 3638998 (Why is no real title available?)
- A New Class of Automated Theorem-Proving Algorithms
- Citius altius fortius: lessons learned from the theorem prover Waldmeister
- Deep network guided proof search
- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
- ENIGMA: efficient learning-based inference guiding machine
- ENIGMAWatch: ProofWatch meets ENIGMA
- Efficient Low-Level Connection Tableaux
- Enhancing ENIGMA given clause guidance
- Experiments with discrimination-tree indexing and path indexing for term retrieval
- Faster, higher, stronger: E 2.3
- Fingerprint indexing for paramodulation and rewriting
- Hierarchical invention of theorem proving strategies
- LIBLINEAR: a library for large linear classification
- Loops with abelian inner mapping groups: an application of automated deduction
- MPTP 0.2: Design, implementation, and initial experiments
- MaLeCoP. Machine learning connection prover
- MizAR 40 for Mizar 40
- ProofWatch: watchlist guidance for large theories in E
- Property invariant embedding for automated reasoning
- System description: E 1.8
- The CADE-25 automated theorem proving system competition -- CASC-25
- The anatomy of vampire. Implementing bottom-up procedures with code trees
- The state of CASC
- Using hints to increase the effectiveness of an automated reasoning program: Case studies
Cited in
(3)
Describes a project that uses
Uses Software
This page was built for publication: Fast and slow enigmas and parental guidance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831937)
