Fast Training of Provably Robust Neural Networks by SingleProp
- Akhilan Boopathy
- Tsui-Wei Weng
- et al.
- 2021
- AAAI 2021
Publications
Date
Featured collections
Popular topics
13 results for Luca Daniel
Higher-Order Certification For Randomized Smoothing
- Jeet Mohapatra; Ching-Yun Ko
- Tsui-Wei Weng
- et al.
- 2020
- NeurIPS 2020
Proper network interpretability helps adversarial robustness in classification
- Akhilan Boopathy
- Sijia Liu
- et al.
- 2020
- ICML 2020
Towards certificated model robustness against weight perturbations
- Tsui Wei Weng
- Pu Zhao
- et al.
- 2020
- AAAI 2020
ConCerNet: A Contrastive Learning Based Framework for Automated Conservation Law Discovery and Trustworthy Dynamical System Prediction
- Wang Zhang
- Tsui-Wei Weng
- et al.
- 2023
- ICML 2023
Revisiting Contrastive Learning through the Lens of Neighborhood Component Analysis: an Integrated Framework
- Ching-Yun Ko
- Jeet Mohapatra
- et al.
- 2022
- ICML 2022
Proven: Verifying robustness of neural networks with a probabilistic approach
- Tsui Wei Weng
- Pin-Yu Chen
- et al.
- 2019
- ICML 2019
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