@misc{indiciae3edf805bfada,
  title = {Improving Certified Robustness via Statistical Learning with Logical Reasoning},
  author = {Zhuolin Yang and Zhikuan Zhao and Boxin Wang and Jiawei Zhang and Linyi Li and Hengzhi Pei and Bojan Karlas and Ji Liu and Heng Guo and Ce Zhang and Bo Li},
  year = {2023},
  url = {https://arxiv.org/abs/2003.00120},
  note = {Source identifier: 2003.00120}
}