Machine learning of Coq proof guidance: First experiments (2014)

by Cezary Kaliszyk, Lionel Mamane, Josef Urban
Venue:In Temur Kutsia and Andrei Voronkov, editors, Symbolic Computation in Software Science (SCSS 2014), volume 30 of EPiC Series