@misc{indiciaeccb0635fbf9d,
  title = {Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification},
  author = {Brendon G. Anderson and Ziye Ma and Jingqi Li and Somayeh Sojoudi},
  year = {2025},
  url = {https://arxiv.org/abs/2101.09306},
  note = {Source identifier: 2101.09306}
}