Showing math.OCShow all
3 papers · 1 filter
math.OC2026
Convex duality contracts for production-grade mathematical optimization
Juan Pablo Vielma, Ross Anderson, Joey Huchette
Deploying mathematical optimization in autonomous production systems requires precise contracts for objects returned by an optimization solver. Unfortunately, conventions on dual s…
math.OC2018
Strong mixed-integer programming formulations for trained neural networks
Ross Anderson, Joey Huchette, Christian Tjandraatmadja +1
We present an ideal mixed-integer programming (MIP) formulation for a rectified linear unit (ReLU) appearing in a trained neural network. Our formulation requires a single binary v…
math.OC2018
Strong mixed-integer programming formulations for trained neural networks
Ross Anderson, Joey Huchette, Will Ma +2
We present strong mixed-integer programming (MIP) formulations for high-dimensional piecewise linear functions that correspond to trained neural networks. These formulations can be…