Developing Bug-Free Machine Learning Systems With Formal Mathematics.

Daniel Selsam, Percy Liang, David L. Dill

Browse the full ICML paper archive.