Developing Bug-Free Machine Learning Systems With Formal Mathematics.

Daniel Selsam Percy Liang David L. Dill

Published in: CoRR (2017)

Keyphrases

machine learning systems
machine learning
machine learning algorithms
learning systems
learning classifier systems
neural network
semi supervised learning
source code
prediction accuracy
learning experience