The following pages link to Deep Network Guided Proof Search (Q4645728):
Displaying 21 items.
- Fast and slow enigmas and parental guidance (Q831937) (← links)
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Towards the automatic mathematician (Q2055841) (← links)
- Improving ENIGMA-style clause selection while learning from history (Q2055886) (← links)
- Guiding an automated theorem prover with neural rewriting (Q2104548) (← links)
- Improving stateful premise selection with transformers (Q2128800) (← links)
- Towards finding longer proofs (Q2142073) (← links)
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search (Q2142075) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
- On the proof complexity of deep inference (Q2946572) (← links)
- FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover (Q3460043) (← links)
- Deep Proof Search in MELL (Q4645729) (← links)
- Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
- A formal proof of the expressiveness of deep learning (Q5919583) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)
- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group (Q6577680) (← links)
