@misc{indiciae427850579fe4,
  title = {The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification},
  author = {Christian Tjandraatmadja and Ross Anderson and Joey Huchette and Will Ma and Krunal Patel and Juan Pablo Vielma},
  year = {2020},
  url = {https://arxiv.org/abs/2006.14076},
  note = {Source identifier: 2006.14076}
}