Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.
Saved in:
| Title: | Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. |
|---|---|
| Authors: | Liu, Jiaxiang1, jiaxiang0924@gmail.com, Xing, Yunhan1, xingyunhan@email.szu.edu.cn, Shi, Xiaomu2, shixm@ios.ac.cn, Song, Fu2, songfu@ios.ac.cn, Xu, Zhiwu1, xuzhiwu@szu.edu.cn, Ming, Zhong3, mingz@szu.edu.cn |
| Source: | ACM Transactions on Software Engineering & Methodology; Jun2024, Vol. 33 Issue 5, p1-35, 35p |
| Database: | Applied Science & Technology Source |
| ISSN: | 1049331X |
|---|---|
| DOI: | 10.1145/3644387 |
