Cezary Kaliszyk, Lionel Mamane, Josef Urban. Machine Learning of Coq Proof Guidance: First Experiments. In Temur Kutsia, Andrei Voronkov, editors, 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014. Volume 30 of EPiC Series, pages 27-34, EasyChair, 2014. [doi]
Abstract is missing.