MaSh: Machine Learning for Sledgehammer

Daniel Kühlwein, Jasmin Christian Blanchette, Cezary Kaliszyk, and Josef Urban
Proceedings of the 4th International Conference on Interactive Theorem Proving (ITP 2013), Lecture Notes in Computer Science 7998, pp. 35 – 50, 2013.

abstract   BibTeX   PDF   doi:10.1007/978-3-642-39634-2_6  
© Springer