@InProceedings{Zhang_2023_CVPR,
    author    = {Zhang, Zhaodi and Xue, Zhiyi and Chen, Yang and Liu, Si and Zhang, Yueling and Liu, Jing and Zhang, Min},
    title     = {Boosting Verified Training for Robust Image Classifications via Abstraction},
    booktitle = {Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
    month     = {June},
    year      = {2023},
    pages     = {16251-16260}
}
Zhaodi Zhang Zhiyi Xue Yang Chen Si Liu Yueling Zhang Jing Liu Min Zhang
Boosting Verified Training for Robust Image Classifications via Abstraction