Strong mixed-integer programming formulations for trained neural networks - Anderson, Ross; Huchette, Joey; Ma, Will; Tjandraatmadja, Christian; Vielma, Juan Pablo (Mathematical programming, 2020)
Keywords: Calculus of Variations and Optimal Control; Optimization; Combinatorics; Full Length Paper; Image classification; Integer programming; Linear functions; Linear programming; Machine learning; Mathematical and Computational Physics; Mathematical Methods in Physics; Mathematics; Mathematics and Statistics; Mathematics of Computing; Mixed integer; Neural networks; Numerical Analysis; Theoretical; Formulations; Deep learning; Mixed-integer programming; 90C11