Vielma, Juan Pablo

2 publications

ICML 2022 Constrained Discrete Black-Box Optimization Using Mixed-Integer Programming Theodore P Papalexopoulos, Christian Tjandraatmadja, Ross Anderson, Juan Pablo Vielma, David Belanger

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