| Document Date: 2015-03-13 06:06:51
Open Document File Size: 177,99 KBShare Result on Facebook
City Isabelle2013 / Radboud Universiteit Nijmegen / / Country Germany / Austria / / Facility Mizar Mathematical Library / / IndustryTerm cryptographic protocols / prover technology / default machine learning algorithm / default learning algorithm / machinery draws / computer science applications / search space / / Organization Universität Innsbruck / Institut für Informatik / United Nations / Technische Universität München / / Person Metis / Jasmin Christian / Isabelle Facts / / Position representative / proof assistant / learning-based advisors / / ProgrammingLanguage Standard ML / Java / Python / ML / / PublishedMedium Machine Learning / / Technology cryptography / machine learning.1 Its default learning algorithm / much slower naive Bayes algorithm / naive Bayes algorithm / Java / Machine Learning / one-click technology / prover technology / weighted sparse naive Bayes algorithm / default machine learning algorithm / Auth Jinja Probability Cryptographic protocols / focused on applying machine learning / / URL http /
SocialTag |
MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2