Improving Certified Robustness via Statistical Learning with Logical Reasoning - Yang, Zhuolin; Zhao, Zhikuan; Wang, Boxin; Zhang, Jiawei; Li, Linyi; Pei, Hengzhi; Karlaš, Bojan; Liu, Ji; Guo, Heng; Zhang, Ce; Li, Bo (Advances in Neural Information Processing Systems, 2022)