-
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification
We improve the effectiveness of propagation- and linear-optimization-bas...
06/24/2020 ∙ by Christian Tjandraatmadja, et al. ∙
5
∙
share
read it
-
Contextual Reserve Price Optimization in Auctions
We study the problem of learning a linear model to set the reserve price...
02/20/2020 ∙ by Joey Huchette, et al. ∙
0
∙
share
read it
-
Strong mixed-integer programming formulations for trained neural networks
We present an ideal mixed-integer programming (MIP) formulation for a re...
11/20/2018 ∙ by Ross Anderson, et al. ∙
0
∙
share
read it
