firstbacksecondback
13 Results
Poster
|
Thu 14:00 |
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 |