Learning theorem proving components
From MaRDI portal
Publication:2142080
DOI10.1007/978-3-030-86059-2_16OpenAlexW3203136261MaRDI QIDQ2142080
Karel Chvalovský, Miroslav Olšák, Jan Jakubův, Josef Urban
Publication date: 25 May 2022
Full work available at URL: https://arxiv.org/abs/2107.10034
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- MizAR 40 for Mizar 40
- MPTP 0.2: Design, implementation, and initial experiments
- MetiTarski: An automatic theorem prover for real-valued special functions
- IeanCOP: lean connection-based theorem proving
- Using hints to increase the effectiveness of an automated reasoning program: Case studies
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
- Premise selection for mathematics by corpus analysis and kernel methods
- ENIGMA: efficient learning-based inference guiding machine
- Extending E Prover with Similarity Based Clause Selection Strategies
- System Description: E 1.8
- TacticToe: Learning to Reason with HOL4 Tactics
- Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction
- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)
- Hierarchical invention of theorem proving strategies
- Hammering towards QED
- Fast unfolding of communities in large networks
- Semantic Guidance for Saturation Provers
This page was built for publication: Learning theorem proving components
