@misc{indiciaed2e13bc0b80d,
  title = {Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification},
  author = {Kota Fukuda and Guanqin Zhang and Zhenya Zhang and Yulei Sui and Jianjun Zhao},
  year = {2025},
  url = {https://arxiv.org/abs/2505.00963},
  note = {Source identifier: 2505.00963}
}