Pages that link to "Item:Q3454097"
From MaRDI portal
The following pages link to SEPIA: Search for Proofs Using Inferred Automata (Q3454097):
Displayed 7 items.
- SEPIA (Q33390) (← links)
- Hammer for Coq: automation for dependent type theory (Q1663240) (← 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)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
- CoProver: a recommender system for proof construction (Q6118837) (← links)