ETH Zürich; East China Normal University; Shanghai Key Laboratory of Trustworthy Computing
Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
Boosting Verified Training for Robust Image Classifications via Abstraction