| Document Date: 2014-07-10 18:23:49
Open Document File Size: 182,11 KBShare Result on Facebook
Company AMD / Russell / Intel / Microsoft / / Country Germany / / Facility library of Figure / Mizar Mathematical Library / / IndustryTerm picture Web search Predict / hardware systems / pixels Web search The n-grams / machine learning algorithm / main developer / Web search / selection algorithms / finance / search query / search space / learning algorithm / software verification / learning algorithms / / OperatingSystem Microsoft Windows / / Organization Technische Universität München / / Person Isabelle Isabelle / Jasmin Christian / Georges Gonthier / Thomas Hales / William McCune / / Position representative / human mathematician / / PublishedMedium Machine Learning / / Technology learning algorithm / Axiom selection algorithms / machine learning algorithm / learning algorithms / Machine Learning / operating system / ATP.3 Axiom selection algorithms / / URL http /
SocialTag |
A Survey of Axiom Selection as a Machine Learning Problem Jasmin Christian Blanchette1 and Daniel Kühlwein2 1 Fakultät für Informatik, Technische Universität München, Germany