SEPIA

swMATH21585MaRDI QIDQ33390FDOQ33390

Author name not available (Why is that?)

Described by source

• SEPIA: Search for Proofs Using Inferred Automata

Cited In (7)

• 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
• 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

This page was built for software: SEPIA