Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo. ARENA: Enhancing Abstract Refinement for Neural Network Verification. In Alex Potanin, editor, Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2022, Auckland, New Zealand, December 5-10, 2022. pages 66-68, ACM, 2022. [doi]
Abstract is missing.