Modeling design and control problems involving neural network surrogates
From MaRDI portal
Publication:6043129
DOI10.1007/s10589-022-00404-9zbMath1518.90110arXiv2111.10489OpenAlexW3217669009MaRDI QIDQ6043129
Dominic Yang, Prasanna Balaprakash, Sven Leyffer
Publication date: 4 May 2023
Published in: Computational Optimization and Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2111.10489
neural networksnonlinear programmingmixed integer programmingmachine learningcomplementarity constraints
Applications of mathematical programming (90C90) Mixed integer programming (90C11) Nonlinear programming (90C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A Modeling Language for Mathematical Programming
- Empirical decision model learning
- Three enhancements for optimization-based bound tightening
- Minotaur: a mixed-integer nonlinear optimization toolkit
- Deep neural networks and mixed integer linear optimization
- Deterministic global optimization with artificial neural networks embedded
- Convexification and global optimization in continuous and mixed-integer nonlinear programming. Theory, algorithms, software, and applications
- BARON: A general purpose global optimization software package
- Conservative set valued fields, automatic differentiation, stochastic gradient methods and deep learning
- Reluplex: an efficient SMT solver for verifying deep neural networks
- On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming
- Mathematical Programs with Complementarity Constraints: Stationarity, Optimality, and Sensitivity
- An outer-approximation algorithm for a class of mixed-integer nonlinear programs
- Facing up to arrangements: face-count formulas for partitions of space by hyperplanes
- Solving mathematical programs with complementarity constraints as nonlinear programs
- JANOS: An Integrated Predictive and Prescriptive Modeling Framework
- An Interior Point Method for Mathematical Programs with Complementarity Constraints (MPCCs)
- Interior Methods for Mathematical Programs with Complementarity Constraints
- Local Convergence of SQP Methods for Mathematical Programs with Equilibrium Constraints
- JuMP: A Modeling Language for Mathematical Optimization
- Strong mixed-integer programming formulations for trained neural networks
