MaSh: Machine Learning for Sledgehammer.

Daniel Khlwein, Jasmin Christian Blanchette, Cezary Kaliszyk, Josef Urban

Browse the full ITP paper archive.