TY  - RPRT
TI  - Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
AU  - Guanqin Zhang
AU  - Kota Fukuda
AU  - Zhenya Zhang
AU  - H. M. N. Dilum Bandara
AU  - Shiping Chen
AU  - Jianjun Zhao
AU  - Yulei Sui
PY  - 2025
DO  - 10.4230/lipics.ecoop.2025.36
UR  - https://arxiv.org/abs/2507.17453
ID  - 2507.17453
ER  -