Pages that link to "Item:Q3010374"
From MaRDI portal
The following pages link to MaLeCoP Machine Learning Connection Prover (Q3010374):
Displayed 20 items.
- MaLeCoP (Q19250) (← links)
- 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)
- 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)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Internal Guidance for Satallax (Q2817934) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Efficient Low-Level Connection Tableaux (Q3455764) (← links)
- Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871) (← links)
- Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
- CoProver: a recommender system for proof construction (Q6118837) (← links)