The following pages link to SEPIA (Q33390):
Displaying 7 items.
- Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
- ProofWatch: watchlist guidance for large theories in E (Q1791167) (← links)
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- ENIGMA: efficient learning-based inference guiding machine (Q2364687) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- A proof strategy language and proof script generation for Isabelle/HOL (Q2405272) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)