Boosting Verified Training for Robust Image Classifications via Abstraction.

Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang

Browse the full CVPR paper archive.