ML4PG

swMATH7140MaRDI QIDQ19195FDOQ19195

Author name not available (Why is that?)

Described by source

• ML4PG in computer algebra verification

Cited In (9)

• Portfolio theorem proving and prover runtime prediction for geometry
• Mining state-based models from proof corpora
• Deep Generation of Coq Lemma Names Using Elaborated Terms
• TacticToe: learning to prove with tactics
• Proof mining with dependent types
• Recycling proof patterns in Coq: case studies
• Proof-pattern recognition and lemma discovery in ACL2
• Hammer for Coq: automation for dependent type theory
• SEPIA: search for proofs using inferred automata

This page was built for software: ML4PG