Fast Training of Provably Robust Neural Networks by SingleProp
- Akhilan Boopathy
- Tsui-Wei Weng
- et al.
- 2021
- AAAI 2021
Conference paper
Publications
4 results for Akhilan Boopathy
Proper network interpretability helps adversarial robustness in classification
- Akhilan Boopathy
- Sijia Liu
- et al.
- 2020
- ICML 2020
Conference paperProven: Verifying robustness of neural networks with a probabilistic approach
- Tsui Wei Weng
- Pin-Yu Chen
- et al.
- 2019
- ICML 2019
Conference paperCNN-Cert: An efficient framework for certifying robustness of convolutional neural networks
- Akhilan Boopathy
- Tsui Wei Weng
- et al.
- 2019
- AAAI 2019
Conference paper