Patel, Krunal Kishor

1 publications

NeurIPS 2020 The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification Christian Tjandraatmadja, Ross Anderson, Joey Huchette, Will Ma, Krunal Kishor Patel, Juan Pablo Vielma