Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu 0003, Yueling Zhang, Jing Liu, Min Zhang 0002. Boosting Verified Training for Robust Image Classifications via Abstraction. In IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023, Vancouver, BC, Canada, June 17-24, 2023. pages 16251-16260, IEEE, 2023. [doi]
Abstract is missing.