First Page | Document Content | |
---|---|---|
Date: 2015-03-13 06:06:51Mathematical logic Theoretical computer science Automated theorem proving Mathematics Logic in computer science Formal methods Proof assistants Artificial intelligence Isabelle Automated reasoning IP Logic programming | MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2Add to Reading ListSource URL: people.mpi-inf.mpg.deDownload Document from Source WebsiteFile Size: 177,99 KBShare Document on Facebook |