Developing Bug-Free Machine Learning Systems With Formal Mathematics on ShortScience.org

Developing Bug-Free Machine Learning Systems With Formal Mathematics
Selsam, Daniel and Liang, Percy and Dill, David L.
International Conference on Machine Learning - 2017 via Bibsonomy
Keywords: dblp

Other scientists are still reading the paper! Why not add a summary yourself?

Write your summary here (You can use $\LaTeX$ and markdown syntax):

Anon Private

ShortScience.org allows researchers to publish paper summaries that are voted on and ranked!
About

Sponsored by: