@article{JMLR:v26:21-0068,
  author  = {Brendon G. Anderson and Ziye Ma and Jingqi Li and Somayeh Sojoudi},
  title   = {Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification},
  journal = {Journal of Machine Learning Research},
  year    = {2025},
  volume  = {26},
  number  = {81},
  pages   = {1--59},
  url     = {http://jmlr.org/papers/v26/21-0068.html}
}