Details for the publication LiuXSSXM24.

Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song (), Zhiwu Xu, Zhong Ming (): Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. In ACM Trans. Softw. Eng. Methodol. 33(5):129:1-129:35, 2024. DOI BIB