@misc{indiciaedd8299dbbc27,
  title = {Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees},
  author = {Guanqin Zhang and Kota Fukuda and Zhenya Zhang and H. M. N. Dilum Bandara and Shiping Chen and Jianjun Zhao and Yulei Sui},
  year = {2025},
  doi = {10.4230/lipics.ecoop.2025.36},
  url = {https://arxiv.org/abs/2507.17453},
  note = {Source identifier: 2507.17453}
}