no code implementations • 20 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