@misc{indiciaed66fa22dc38a,
  title = {Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition},
  author = {Alessandro De Palma and Rudy Bunel and Alban Desmaison and Krishnamurthy Dvijotham and Pushmeet Kohli and Philip H. S. Torr and M. Pawan Kumar},
  year = {2021},
  url = {https://arxiv.org/abs/2104.06718},
  note = {Source identifier: 2104.06718}
}