SEPIA

swMATH21585MaRDI QIDQ33390

No author found.

Described by source

• SEPIA: Search for Proofs Using Inferred Automata

Related Items (7)

ENIGMA: efficient learning-based inference guiding machine ⋮ Proof mining with dependent types ⋮ Hammer for Coq: automation for dependent type theory ⋮ A proof strategy language and proof script generation for Isabelle/HOL ⋮ Hammering Mizar by Learning Clause Guidance (Short Paper). ⋮ TacticToe: learning to prove with tactics ⋮ ProofWatch: watchlist guidance for large theories in E

This page was built for software: SEPIA