TY  - RPRT
TI  - A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
AU  - Zhiyi Xue
AU  - Si Liu
AU  - Zhaodi Zhang
AU  - Yiting Wu
AU  - Min Zhang
PY  - 2023
DO  - 10.1145/3597926.3598127
UR  - https://arxiv.org/abs/2305.16998
ID  - 2305.16998
ER  -