DMCA

MaSh: Machine learning for Sledgehammer (2013)

by Daniel Kühlwein , Jasmin Christian Blanchette , Cezary Kaliszyk , Josef Urban
Venue:In Sandrine Blazy, Christine Paulin-Mohring, and David Pichardie, editors, ITP, volume 7998 of Lecture Notes in Computer Science
Citations:22 - 17 self