@misc{indiciaef0dca4fc973e,
  title = {A Unified View of Piecewise Linear Neural Network Verification},
  author = {Rudy Bunel and Ilker Turkaslan and Philip H. S. Torr and Pushmeet Kohli and M. Pawan Kumar},
  year = {2018},
  url = {https://arxiv.org/abs/1711.00455},
  note = {Source identifier: 1711.00455}
}