Towards certificated model robustness against weight perturbations
- Tsui Wei Weng
- Pu Zhao
- et al.
- 2020
- AAAI 2020
Publications
16 results for Luca Daniel
Proven: Verifying robustness of neural networks with a probabilistic approach
- Tsui Wei Weng
- Pin-Yu Chen
- et al.
- 2019
- ICML 2019
On extensions of clever: A neural network robustness evaluation algorithm
- Tsui Wei Weng
- Huan Zhang
- et al.
- 2018
- GlobalSIP 2018
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