TacticToe
From MaRDI portal
swMATH28627MaRDI QIDQ40341FDOQ40341
Author name not available (Why is that?)
Official website: https://easychair.org/publications/open/WsM
Cited In (25)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
- GamePad
- 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
- HOList
- 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
- Euclidea
This page was built for software: TacticToe
