Pages that link to "Item:Q4645730"
From MaRDI portal
The following pages link to TacticToe: Learning to Reason with HOL4 Tactics (Q4645730):
Displayed 10 items.
- TacticToe (Q40341) (← links)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- Towards the automatic mathematician (Q2055841) (← links)
- Online machine learning techniques for Coq: a comparison (Q2128797) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- Learning theorem proving components (Q2142080) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
- Machine Learning for Inductive Theorem Proving (Q6108816) (← links)