The following pages link to ML4PG (Q19195):
Displayed 9 items.
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Proof-Pattern Recognition and Lemma Discovery in ACL2 (Q2870142) (← links)
- SEPIA: Search for Proofs Using Inferred Automata (Q3454097) (← links)
- Deep Generation of Coq Lemma Names Using Elaborated Terms (Q5048996) (← links)
- Mining State-Based Models from Proof Corpora (Q5495930) (← links)