Back to Results
First PageMeta Content
Mathematical 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 2
Add to Reading List

Document Date: 2015-03-13 06:06:51

Open Document

File Size: 177,99 KB

Share Result on Facebook
UPDATE