TY  - RPRT
TI  - DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation
AU  - Yiting Wu
AU  - Zhaodi Zhang
AU  - Zhiyi Xue
AU  - Si Liu
AU  - Min Zhang
PY  - 2022
UR  - https://arxiv.org/abs/2211.11186
ID  - 2211.11186
ER  -