The following pages link to TacticToe (Q40341):
Displaying 9 items.
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← 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)
- Online machine learning techniques for Coq: a comparison (Q2128797) (← links)
- Learning to solve geometric construction problems from images (Q2128821) (← links)
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search (Q2142075) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- Learning theorem proving components (Q2142080) (← links)