Improving Certified Robustness Via Statistical Learning with Logical Reasoning

Item #:

068431-2526

Details

DOI: https://doi.org/10.52202/068431-2526
Author(s): Heng Guo, Bojan Karlaš, Bo Li, Linyi Li, Ji Liu, Hengzhi Pei, Boxin Wang, Zhuolin Yang, Ce Zhang, Jiawei Zhang, Zhikuan Zhao
Pages: 34859-34873 (15 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 35
Date/Location: Held 28 November - 9 December 2022, New Orleans, Louisiana, USA.
Series: Advances in Neural Information Processing Systems 35
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)

DOI: https://doi.org/10.52202/068431-2526
Author(s): Heng Guo, Bojan Karlaš, Bo Li, Linyi Li, Ji Liu, Hengzhi Pei, Boxin Wang, Zhuolin Yang, Ce Zhang, Jiawei Zhang, Zhikuan Zhao
Pages: 34859-34873 (15 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 35
Date/Location: Held 28 November - 9 December 2022, New Orleans, Louisiana, USA.
Series: Advances in Neural Information Processing Systems 35
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)