Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks

Open Webpage

Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming

Published: 30 Jun 2024, Last Modified: 15 Jan 2026ACM Transactions on Software Engineering and MethodologyEveryoneRevisionsCC BY-SA 4.0
External IDs:doi:10.1145/3644387