TY  - RPRT
TI  - UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
AU  - Zhen Liang
AU  - Taoran Wu
AU  - Ran Zhao
AU  - Bai Xue
AU  - Ji Wang
AU  - Wenjing Yang
AU  - Shaojun Deng
AU  - Wanwei Liu
PY  - 2024
UR  - https://arxiv.org/abs/2401.12550
ID  - 2401.12550
ER  -