TY  - RPRT
TI  - Traversing the Local Polytopes of ReLU Neural Networks: A Unified Approach for Network Verification
AU  - Shaojie Xu
AU  - Joel Vaughan
AU  - Jie Chen
AU  - Aijun Zhang
AU  - Agus Sudjianto
PY  - 2022
UR  - https://arxiv.org/abs/2111.08922
ID  - 2111.08922
ER  -