ML4PG

MaRDI QIDQ19195swMATHFDO

Official website http://rd.springer.com/chapter/10.1007%2F978-3-642-39320-4_28

Described by source

• ML4PG in computer algebra verification

Cited in

(17)

• 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
• CoqEAL
• Coq/SSReflect
• SEPIA
• SerAPI
• JSNice
• Imandra
• Recycling proof patterns in Coq: case studies
• PCM library
• Roosterize
• Hammer for Coq: automation for dependent type theory
• Proof-pattern recognition and lemma discovery in ACL2
• SEPIA: search for proofs using inferred automata

This page was built for software: ML4PG