@inproceedings{ICML-2019-WengCNSBOD,
	author        = "Lily Weng and Pin-Yu Chen and Lam M. Nguyen and Mark S. Squillante and Akhilan Boopathy and Ivan V. Oseledets and Luca Daniel",
	booktitle     = "{Proceedings of the 36th International Conference on Machine Learning}",
	ee            = "http://proceedings.mlr.press/v97/weng19a.html",
	pages         = "6727--6736",
	publisher     = "{PMLR}",
	title         = "{PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach}",
	year          = 2019,
}