An analysis of optimization problems involving ReLU neural networks

DOI10.1007/S11081-026-10075-8MaRDI QIDQ7404354zbMATH OpenFDO

Authors Christoph Plate, Mirko Hahn, Aleksander Klimek, Caroline Ganzer, Kai Sundmacher, Sebastian Sager

Publication date 2026

Published in Optimization and Engineering (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S11081-026-10075-8

zbMATH Keywords

integer programmingmachine learningneural networkoptimization

Mathematics Subject Classification ID

Mathematical programming (90Cxx)

Cites work

• Advances in verification of ReLU neural networks
• Approximation by superpositions of a sigmoidal function
• Deep neural networks and mixed integer linear optimization
• Deterministic global optimization with artificial neural networks embedded
• scientific article; zbMATH DE number 6378127 (Why is no real title available?)
• scientific article; zbMATH DE number 845714 (Why is no real title available?)
• Lossless compression of deep neural networks
• On Transversality of Bent Hyperplane Arrangements and the Topological Expressiveness of ReLU Neural Networks
• Online Mixed-Integer Optimization in Milliseconds
• Pyomo -- optimization modeling in Python
• Strong mixed-integer programming formulations for trained neural networks
• Structured pruning of neural networks for constraints learning
• The quickhull algorithm for convex hulls

This page was built for publication: An analysis of optimization problems involving ReLU neural networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7404354)