Boosting Verified Training for Robust Image Classifications via Abstraction

Computer Vision and Pattern Recognition (CVPR), 2023

21 March 2023

Yang Chen

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

1 / 1 papers shown

Title
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-ApproximationInternational Symposium on Software Testing and Analysis (ISSTA), 2023 Zhiyi Xue Si Liu Zhaodi Zhang Yiting Wu Hao Fei AAML 134 3 0 26 May 2023