Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun 0001. Towards an Effective and Interpretable Refinement Approach for DNN Verification. In 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023, Chiang Mai, Thailand, October 22-26, 2023. pages 569-580, IEEE, 2023. [doi]
Abstract is missing.