On extensions of clever: A neural network robustness evaluation algorithm
- Tsui Wei Weng
- Huan Zhang
- et al.
- 2018
- GlobalSIP 2018
Publications
14 results for Luca Daniel
CNN-Cert: An efficient framework for certifying robustness of convolutional neural networks
- Akhilan Boopathy
- Tsui Wei Weng
- et al.
- 2019
- AAAI 2019
Efficient neural network robustness certification with general activation functions
- Huan Zhang
- Tsui Wei Weng
- et al.
- 2018
- NeurIPS 2018
Evaluating the robustness of neural networks: An extreme value theory approach
- Tsui Wei Weng
- Huan Zhang
- et al.
- 2018
- ICLR 2018