Pages that link to "Item:Q2031416"
From MaRDI portal
The following pages link to TacticToe: learning to prove with tactics (Q2031416):
Displayed 7 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)
- CoProver: a recommender system for proof construction (Q6118837) (← links)