TY  - RPRT
TI  - Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks
AU  - Jiaxiang Liu
AU  - Yunhan Xing
AU  - Xiaomu Shi
AU  - Fu Song
AU  - Zhiwu Xu
AU  - Zhong Ming
PY  - 2022
UR  - https://arxiv.org/abs/2207.00759
ID  - 2207.00759
ER  -