The following pages link to Internal Guidance for Satallax (Q2817934):
Displaying 9 items.
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Lash 1.0 (system description) (Q2104521) (← links)
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search (Q2142075) (← links)
- Extending SMT solvers to higher-order logic (Q2305406) (← links)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
