Boosting Verified Training for Robust Image Classifications via
Abstraction

Boosting Verified Training for Robust Image Classifications via Abstraction

21 March 2023

Yang Chen

Papers citing "Boosting Verified Training for Robust Image Classifications via Abstraction"

10 / 10 papers shown

Title
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 71 189 0 11 Mar 2021
The Limitations of Adversarial Training and the Blind-Spot Attack Huan Zhang Hongge Chen Zhao Song Duane S. Boning Inderjit S. Dhillon Cho-Jui Hsieh AAML 51 145 0 15 Jan 2019
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 122 138 0 29 Nov 2018
Structured Adversarial Attack: Towards General Implementation and Better Interpretability Kaidi Xu Sijia Liu Pu Zhao Pin-Yu Chen Huan Zhang Quanfu Fan Deniz Erdogmus Yanzhi Wang Xinyu Lin AAML 89 160 0 05 Aug 2018
Defense-GAN: Protecting Classifiers Against Adversarial Attacks Using Generative Models Pouya Samangouei Maya Kabkab Rama Chellappa AAML GAN 67 1,172 0 17 May 2018
Adversarial Examples Are Not Easily Detected: Bypassing Ten Detection Methods Nicholas Carlini D. Wagner AAML 103 1,851 0 20 May 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 292 1,849 0 03 Feb 2017
SqueezeDet: Unified, Small, Low Power Fully Convolutional Neural Networks for Real-Time Object Detection for Autonomous Driving Bichen Wu Alvin Wan F. Iandola Peter H. Jin Kurt Keutzer 80 513 0 04 Dec 2016
Towards Evaluating the Robustness of Neural Networks Nicholas Carlini D. Wagner OOD AAML 170 8,513 0 16 Aug 2016
Going Deeper with Convolutions Christian Szegedy Wei Liu Yangqing Jia P. Sermanet Scott E. Reed Dragomir Anguelov D. Erhan Vincent Vanhoucke Andrew Rabinovich 335 43,511 0 17 Sep 2014