Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/icml/WengCNSBOD19
%A Weng, Lily
%A Chen, Pin-Yu
%A Nguyen, Lam M.
%A Squillante, Mark S.
%A Boopathy, Akhilan
%A Oseledets, Ivan V.
%A Daniel, Luca
%B ICML
%D 2019
%E Chaudhuri, Kamalika
%E Salakhutdinov, Ruslan
%I PMLR
%K dblp
%P 6727-6736
%T PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach.
%U http://dblp.uni-trier.de/db/conf/icml/icml2019.html#WengCNSBOD19
%V 97
@inproceedings{conf/icml/WengCNSBOD19,
added-at = {2019-06-11T00:00:00.000+0200},
author = {Weng, Lily and Chen, Pin-Yu and Nguyen, Lam M. and Squillante, Mark S. and Boopathy, Akhilan and Oseledets, Ivan V. and Daniel, Luca},
biburl = {https://www.bibsonomy.org/bibtex/2203df4f9a63705dbabc8eb3f571ee02e/dblp},
booktitle = {ICML},
crossref = {conf/icml/2019},
editor = {Chaudhuri, Kamalika and Salakhutdinov, Ruslan},
ee = {http://proceedings.mlr.press/v97/weng19a.html},
interhash = {feb929a6228228fbd15073890308ee46},
intrahash = {203df4f9a63705dbabc8eb3f571ee02e},
keywords = {dblp},
pages = {6727-6736},
publisher = {PMLR},
series = {Proceedings of Machine Learning Research},
timestamp = {2019-06-12T11:41:24.000+0200},
title = {PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach.},
url = {http://dblp.uni-trier.de/db/conf/icml/icml2019.html#WengCNSBOD19},
volume = 97,
year = 2019
}