Developing Bug-Free Machine Learning Systems With Formal Mathematics.

Daniel Selsam Percy Liang David L. Dill

Published in: ICML (2017)

Keyphrases

machine learning systems
machine learning
machine learning algorithms
learning systems
source code
training data
multi class
supervised learning algorithms
genetic algorithm
knn
machine learning methods