Yuanyuan Yuan, Shuai Wang 0011, Zhendong Su 0001. Precise and Generalized Robustness Certification for Neural Networks. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 4769-4786, USENIX Association, 2023. [doi]
Abstract is missing.