SEPIA

MaRDI QIDQ33390swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-21401-6_16

Described by source

• SEPIA: search for proofs using inferred automata

Cited in

(14)

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

This page was built for software: SEPIA