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"

3 / 3 papers shown

Title
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation Zhiyi Xue Si Liu Zhaodi Zhang Yiting Wu M. Zhang AAML 23 2 0 26 May 2023
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 103 138 0 29 Nov 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017