Fast Training of Provably Robust Neural Networks by SinglePropAkhilan BoopathyTsui-Wei Wenget al.2021AAAI 2021
Proper network interpretability helps adversarial robustness in classificationAkhilan BoopathySijia Liuet al.2020ICML 2020
Proven: Verifying robustness of neural networks with a probabilistic approachTsui Wei WengPin-Yu Chenet al.2019ICML 2019
CNN-Cert: An efficient framework for certifying robustness of convolutional neural networksAkhilan BoopathyTsui Wei Wenget al.2019AAAI 2019