The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification - Tjandraatmadja, Christian; Anderson, Ross; Huchette, Joey; Ma, Will; PATEL, KRUNAL KISHOR; Vielma, Juan Pablo (Advances in Neural Information Processing Systems, 2020)