The following pages link to Monte Carlo tableau proof search (Q2405274):
Displaying 5 items.
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search (Q2142075) (← links)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
