Cited in
(25)- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
- Learning to solve geometric construction problems from images
- Online machine learning techniques for Coq: a comparison
- Learning theorem proving components
- The role of entropy in guiding a connection prover
- TacticToe: learning to prove with tactics
- ML4PG
- MaLeCoP
- Tactician
- Caper
- FEMaLeCoP
- SEPIA
- DeepMath
- ATPboost
- ENIGMA
- Proofwatch
- VerifyThis
- Holophrasm
- ACER
- 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
- HOList
- Euclidea
- GamePad
This page was built for software: TacticToe
