The following pages link to (Q3459922):
Displaying 6 items.
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover (Q3460043) (← links)
- MODEL THEORY AND MACHINE LEARNING (Q5240809) (← links)
- CakeML (Q5408415) (← links)
- Machine Learning for Inductive Theorem Proving (Q6108816) (← links)