@article{JMLR:v21:19-468,
  author  = {Rudy Bunel and Jingyue Lu and Ilker Turkaslan and Philip H.S. Torr and Pushmeet Kohli and M. Pawan Kumar},
  title   = {Branch and Bound for Piecewise Linear Neural Network Verification},
  journal = {Journal of Machine Learning Research},
  year    = {2020},
  volume  = {21},
  number  = {42},
  pages   = {1--39},
  url     = {http://jmlr.org/papers/v21/19-468.html}
}