Search Results for author: Lionel Mamane

Found 1 papers, 0 papers with code

Machine Learning of Coq Proof Guidance: First Experiments

no code implementations20 Oct 2014 Cezary Kaliszyk, Lionel Mamane, Josef Urban

We report the results of the first experiments with learning proof dependencies from the formalizations done with the Coq system.

BIG-bench Machine Learning

Cannot find the paper you are looking for? You can Submit a new open access paper.