@inproceedings{ICML-2018-MirmanGV,
	author        = "Matthew Mirman and Timon Gehr and Martin T. Vechev",
	booktitle     = "{Proceedings of the 35th International Conference on Machine Learning}",
	ee            = "http://proceedings.mlr.press/v80/mirman18b.html",
	pages         = "3575--3583",
	publisher     = "{PMLR}",
	title         = "{Differentiable Abstract Interpretation for Provably Robust Neural Networks}",
	year          = 2018,
}