Daniel Selsam, Percy Liang, David L. Dill. Developing Bug-Free Machine Learning Systems With Formal Mathematics. In Doina Precup, Yee Whye Teh, editors, Proceedings of the 34th International Conference on Machine Learning, ICML 2017, Sydney, NSW, Australia, 6-11 August 2017. Volume 70 of JMLR Workshop and Conference Proceedings, pages 3047-3056, JMLR.org, 2017. [doi]
Abstract is missing.