Ross Anderson, Joey Huchette, Christian Tjandraatmadja, Juan Pablo Vielma. Strong Mixed-Integer Programming Formulations for Trained Neural Networks. In Andrea Lodi 0001, Viswanath Nagarajan, editors, Integer Programming and Combinatorial Optimization - 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings. Volume 11480 of Lecture Notes in Computer Science, pages 27-42, Springer, 2019. [doi]
Abstract is missing.