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