ETH Zürich; Kwai Inc.; UIUC; University of Edinburgh
Zhuolin Yang, Zhikuan Zhao, Boxin Wang, Jiawei Zhang, Linyi Li, Hengzhi Pei, Bojan Karlaš, Ji Liu, Heng Guo, Ce Zhang, Bo Li
certified robustness;logical reasoning
Improving Certified Robustness via Statistical Learning with Logical Reasoning