ML4PG
From MaRDI portal
Software:19195
swMATH7140MaRDI QIDQ19195FDOQ19195
Author name not available (Why is that?)
Cited In (9)
- Mining State-Based Models from Proof Corpora
- Proof-Pattern Recognition and Lemma Discovery in ACL2
- Portfolio theorem proving and prover runtime prediction for geometry
- SEPIA: Search for Proofs Using Inferred Automata
- 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
- Hammer for Coq: automation for dependent type theory
This page was built for software: ML4PG
