TacticToe

swMATH28627MaRDI QIDQ40341FDOQ40341

Author name not available (Why is that?)

Described by source

• TacticToe: Learning to Reason with HOL4 Tactics

Cited In (9)

• 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
• 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

This page was built for software: TacticToe