Pages that link to "Item:Q2031416"
From MaRDI portal
The following pages link to TacticToe: learning to prove with tactics (Q2031416):
Displaying 9 items.
- Guiding an automated theorem prover with neural rewriting (Q2104548) (← 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)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- Standalone Tactics Using OpenTheory (Q2914758) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)
- HOL4PRS: proof recommendation system for the HOL4 theorem prover (Q6648185) (← links)