@inproceedings{ICML-2017-SelsamLD,
	author        = "Daniel Selsam and Percy Liang and David L. Dill",
	booktitle     = "{Proceedings of the 34th International Conference on Machine Learning}",
	ee            = "http://proceedings.mlr.press/v70/selsam17a.html",
	pages         = "3047--3056",
	publisher     = "{PMLR}",
	title         = "{Developing Bug-Free Machine Learning Systems With Formal Mathematics}",
	year          = 2017,
}