TacticToe
From MaRDI portal
Software:40341
No author found.
Related Items (9)
Online machine learning techniques for Coq: a comparison ⋮ Learning to solve geometric construction problems from images ⋮ Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) ⋮ \textsf{lazyCoP}: lazy paramodulation meets neurally guided search ⋮ The role of entropy in guiding a connection prover ⋮ Learning theorem proving components ⋮ TacticToe: learning to prove with tactics ⋮ ProofWatch: watchlist guidance for large theories in E ⋮ ATPboost: learning premise selection in binary setting with ATP feedback
This page was built for software: TacticToe
