%0 Journal Article %1 journals/corr/abs-1812-08329 %A Weng, Tsui-Wei %A Chen, Pin-Yu %A Nguyen, Lam M. %A Squillante, Mark S. %A Oseledets, Ivan V. %A Daniel, Luca %D 2018 %J CoRR %K dblp %T PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach. %U http://dblp.uni-trier.de/db/journals/corr/corr1812.html#abs-1812-08329 %V abs/1812.08329

@article{journals/corr/abs-1812-08329, added-at = {2021-01-23T00:00:00.000+0100}, author = {Weng, Tsui-Wei and Chen, Pin-Yu and Nguyen, Lam M. and Squillante, Mark S. and Oseledets, Ivan V. and Daniel, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2a9999dfe97af9e60c149519b0633de90/dblp}, ee = {http://arxiv.org/abs/1812.08329}, interhash = {04229b470297841d8e161026a4c0124c}, intrahash = {a9999dfe97af9e60c149519b0633de90}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:15:11.000+0200}, title = {PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1812.html#abs-1812-08329}, volume = {abs/1812.08329}, year = 2018 }