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