SEPIA

swMATH21585MaRDI QIDQ33390FDOQ33390

Author name not available (Why is that?)

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).
• GamePad
• 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

This page was built for software: SEPIA