-
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification
We improve the effectiveness of propagation- and linear-optimization-bas...
read it
-
Contextual Reserve Price Optimization in Auctions
We study the problem of learning a linear model to set the reserve price...
read it
-
Strong mixed-integer programming formulations for trained neural networks
We present an ideal mixed-integer programming (MIP) formulation for a re...
read it

Joey Huchette
is this you? claim profile