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)

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

This page was built for software: ML4PG