Zhao, Zhikuan

2 publications

ICML 2022 Certifying Out-of-Domain Generalization for Blackbox Functions Maurice G Weber, Linyi Li, Boxin Wang, Zhikuan Zhao, Bo Li, Ce Zhang

NeurIPS 2022 Improving Certified Robustness via Statistical Learning with Logical Reasoning Zhuolin Yang, Zhikuan Zhao, Boxin Wang, Jiawei Zhang, Linyi Li, Hengzhi Pei, Bojan Karlaš, Ji Liu, Heng Guo, Ce Zhang, Bo Li