The following pages link to MaLeCoP (Q19250):
Displayed 28 items.
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- Fast and slow enigmas and parental guidance (Q831937) (← links)
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- ProofWatch: watchlist guidance for large theories in E (Q1791167) (← links)
- ATPboost: learning premise selection in binary setting with ATP feedback (Q1799117) (← links)
- HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search (Q2142075) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- ENIGMA: efficient learning-based inference guiding machine (Q2364687) (← links)
- Monte Carlo tableau proof search (Q2405274) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Internal Guidance for Satallax (Q2817934) (← links)
- Automated Reasoning Service for HOL Light (Q2843009) (← links)
- Lemma Mining over HOL Light (Q2870150) (← links)
- Automated and Human Proofs in General Mathematics: An Initial Comparison (Q2891438) (← links)
- Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics (Q2908509) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Efficient Low-Level Connection Tableaux (Q3455764) (← links)
- FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover (Q3460043) (← links)
- TacticToe: Learning to Reason with HOL4 Tactics (Q4645730) (← links)
- Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871) (← links)
- Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)
- Hammering towards QED (Q5195271) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)