MaSh: Machine Learning for Sledgehammer. - Kühlwein, Daniel; Blanchette, Jasmin Christian; Kaliszyk, Cezary; Urban, Josef (2013)