research
∙
04/29/2023
When Deep Learning Meets Polyhedral Theory: A Survey
In the past decade, deep learning became the prevalent methodology for p...
share
research
∙
11/27/2022
Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions
We present a technique for neural network verification using mixed-integ...
research
∙
06/01/2022
JuMP 1.0
JuMP is an algebraic modeling language embedded in the Julia programming...
research
∙
06/24/2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification
We improve the effectiveness of propagation- and linear-optimization-bas...
research
∙
02/20/2020
Contextual Reserve Price Optimization in Auctions
We study the problem of learning a linear model to set the reserve price...
research
∙
11/20/2018