TY  - RPRT
TI  - Improving Certified Robustness via Statistical Learning with Logical Reasoning
AU  - Zhuolin Yang
AU  - Zhikuan Zhao
AU  - Boxin Wang
AU  - Jiawei Zhang
AU  - Linyi Li
AU  - Hengzhi Pei
AU  - Bojan Karlas
AU  - Ji Liu
AU  - Heng Guo
AU  - Ce Zhang
AU  - Bo Li
PY  - 2023
UR  - https://arxiv.org/abs/2003.00120
ID  - 2003.00120
ER  -