MaSh: Machine Learning for Sledgehammer. (2013)

by Daniel Kuhlwein, Jasmin Christian Blanchette, Cezary Kaliszyk, Josef Urban
Venue:In Interactive Theorem Proving,