Proven: Verifying robustness of neural networks with a probabilistic approach
- Tsui Wei Weng
- Pin-Yu Chen
- et al.
- 2019
- ICML 2019
Conference paper
Publications
15 results for Luca Daniel
On extensions of clever: A neural network robustness evaluation algorithm
- Tsui Wei Weng
- Huan Zhang
- et al.
- 2018
- GlobalSIP 2018
Conference paperCNN-Cert: An efficient framework for certifying robustness of convolutional neural networks
- Akhilan Boopathy
- Tsui Wei Weng
- et al.
- 2019
- AAAI 2019
Conference paperEfficient neural network robustness certification with general activation functions
- Huan Zhang
- Tsui Wei Weng
- et al.
- 2018
- NeurIPS 2018
Conference paperEvaluating the robustness of neural networks: An extreme value theory approach
- Tsui Wei Weng
- Huan Zhang
- et al.
- 2018
- ICLR 2018
Conference paper