TY  - RPRT
TI  - Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
AU  - Kota Fukuda
AU  - Guanqin Zhang
AU  - Zhenya Zhang
AU  - Yulei Sui
AU  - Jianjun Zhao
PY  - 2025
UR  - https://arxiv.org/abs/2505.00963
ID  - 2505.00963
ER  -