Strong mixed-integer programming formulations for trained neural networks
Ross Anderson, Joey Huchette, Will Ma, Christian Tjandraatmadja, Juan Pablo Vielma
Topics & Concepts
Integer programmingMathematicsArtificial neural networkMathematical optimizationInteger (computer science)Affine transformationPiecewiseLinear programmingPiecewise linear functionFunction (biology)Construct (python library)AlgorithmArtificial intelligenceComputer scienceBiologyEvolutionary biologyMathematical analysisGeometryPure mathematicsProgramming languageAdversarial Robustness in Machine LearningMachine Learning and AlgorithmsAdvanced Neural Network Applications