TY  - RPRT
TI  - Neural Network Verification with Branch-and-Bound for General Nonlinearities
AU  - Zhouxing Shi
AU  - Qirui Jin
AU  - Zico Kolter
AU  - Suman Jana
AU  - Cho-Jui Hsieh
AU  - Huan Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2405.21063
ID  - 2405.21063
ER  -