Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. - Jiaxiang Liu 001; Yunhan Xing; Xiaomu Shi; Fu Song; Zhiwu Xu 001; Zhong Ming 001 (ACM Trans. Softw. Eng. Methodol., 2024)