The following pages link to FEMaLeCoP (Q32991):
Displaying 20 items.
- Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24--28, 2015. Proceedings (Q894690) (← links)
- ProofWatch: watchlist guidance for large theories in E (Q1791167) (← links)
- ATPboost: learning premise selection in binary setting with ATP feedback (Q1799117) (← links)
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Towards finding longer proofs (Q2142073) (← links)
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search (Q2142075) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- A neurally-guided, parallel theorem prover (Q2180215) (← links)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← 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)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- nanoCoP: A Non-clausal Connection Prover (Q2817929) (← links)
- Internal Guidance for Satallax (Q2817934) (← links)
- Deep Network Guided Proof Search (Q4645728) (← links)
- Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
