TY  - RPRT
TI  - Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification
AU  - Brendon G. Anderson
AU  - Ziye Ma
AU  - Jingqi Li
AU  - Somayeh Sojoudi
PY  - 2025
UR  - https://arxiv.org/abs/2101.09306
ID  - 2101.09306
ER  -