PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Lily Weng, Pin-Yu Chen, Lam M. Nguyen, Mark S. Squillante, Akhilan Boopathy, Ivan V. Oseledets, Luca Daniel
PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach
ICML, 2019.

ICML 2019
DBLP
Scholar
?EE?
Full names Links ISxN
@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,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.