research
∙
06/01/2022
JuMP 1.0
JuMP is an algebraic modeling language embedded in the Julia programming...
share
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
∙
11/20/2018
Strong mixed-integer programming formulations for trained neural networks
We present an ideal mixed-integer programming (MIP) formulation for a re...
research
∙
10/18/2018
Dynamic Automatic Differentiation of GPU Broadcast Kernels
We show how forward-mode automatic differentiation (AD) can be employed ...
research
∙
10/15/2018