FEMaLeCoP
From MaRDI portal
Cited in
(45)- lazyCoP
- ProofWatch: watchlist guidance for large theories in E
- ATPboost: learning premise selection in binary setting with ATP feedback
- ML4PG
- E-SETHEO
- MaLeCoP
- TacticToe: learning to prove with tactics
- Machine learning guidance for connection tableaux
- Towards finding longer proofs
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search
- The role of entropy in guiding a connection prover
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
- leanCoP
- ileanCoP
- A neurally-guided, parallel theorem prover
- DLog
- leanTAP
- MaLARea
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
- ENIGMA: efficient learning-based inference guiding machine
- Monte Carlo tableau proof search
- Portfolio theorem proving and prover runtime prediction for geometry
- Craig interpolation with clausal first-order tableaux
- E-MaLeS
- nanoCoP: a non-clausal connection prover
- Internal guidance for Satallax
- Tactician
- BliStrTune
- MleanCoP
- nanoCoP
- SEPIA
- Scavenger
- DeepMath
- TacticToe
- Proofwatch
- ENIGMA
- Holophrasm
- Deep network guided proof search
- Prolog Technology Reinforcement Learning Prover
- Hammering Mizar by Learning Clause Guidance (Short Paper).
- NeuroSAT
- HOList
- GamePad
- nFOIL
- Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24--28, 2015. Proceedings
This page was built for software: FEMaLeCoP
