Fast and slow enigmas and parental guidance
From MaRDI portal
Publication:831937
DOI10.1007/978-3-030-86205-3_10OpenAlexW3203893060MaRDI QIDQ831937FDOQ831937
Authors: Zarathustra A. Goertzel, Karel Chvalovský, Jan Jakubův, Miroslav Olšák, Josef Urban 
Publication date: 24 March 2022
Full work available at URL: https://arxiv.org/abs/2107.06750
Cites Work
- MizAR 40 for Mizar 40
- MaLeCoP. Machine learning connection prover
- LIBLINEAR: a library for large linear classification
- MPTP 0.2: Design, implementation, and initial experiments
- Faster, higher, stronger: E 2.3
- System description: E 1.8
- ProofWatch: watchlist guidance for large theories in E
- Enhancing ENIGMA given clause guidance
- Citius altius fortius: lessons learned from the theorem prover Waldmeister
- Hierarchical invention of theorem proving strategies
- Title not available (Why is that?)
- Experiments with discrimination-tree indexing and path indexing for term retrieval
- 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
- 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
- Fingerprint indexing for paramodulation and rewriting
- Efficient Low-Level Connection Tableaux
- The CADE-25 automated theorem proving system competition -- CASC-25
- Deep network guided proof search
- Loops with abelian inner mapping groups: an application of automated deduction
- Property invariant embedding for automated reasoning
- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)
Cited In (3)
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)
