TacticToe
From MaRDI portal
Cited in
(25)- ProofWatch: watchlist guidance for large theories in E
- ATPboost: learning premise selection in binary setting with ATP feedback
- ML4PG
- MaLeCoP
- TacticToe: learning to prove with tactics
- Online machine learning techniques for Coq: a comparison
- Learning to solve geometric construction problems from images
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search
- The role of entropy in guiding a connection prover
- Learning theorem proving components
- Tactician
- Caper
- FEMaLeCoP
- SEPIA
- DeepMath
- ATPboost
- VerifyThis
- Proofwatch
- ENIGMA
- Holophrasm
- HOList
- GamePad
- ACER
- Euclidea
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
This page was built for software: TacticToe
