ML4PG in Computer Algebra Verification

DOI10.1007/978-3-642-39320-4_28zbMath1390.68780arXiv1302.6421OpenAlexW2133889836MaRDI QIDQ2843038

Jónathan Heras, Ekaterina Komendantskaya

Publication date: 9 August 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1302.6421

zbMATH Keywords

clusteringmachine learninginteractive theorem provingCoqSSReflectCoqEALML4PG

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Learning and adaptive systems in artificial intelligence (68T05)

Related Items

Deep Generation of Coq Lemma Names Using Elaborated Terms, ML4PG, Mining State-Based Models from Proof Corpora

Uses Software

• Coq
• CoqEAL
• MaSh
• Coq/SSReflect