Ensuring DNN Solution Feasibility for Optimization Problems with Linear Constraints
Tianyu Zhao, Xiang Pan, Minghua Chen, Steven H. Low
Abstract
Ensuring solution feasibility is a key challenge in developing Deep Neural Network (DNN) schemes for solving constrained optimization problems, due to inherent DNN prediction errors. In this paper, we propose a "preventive learning" framework to guarantee DNN solution feasibility for problems with convex constraints and general objective functions without post-processing, upon satisfying a mild condition on constraint calibration. Without loss of generality, we focus on problems with only inequality constraints. We systematically calibrate inequality constraints used in DNN training, thereby anticipating prediction errors and ensuring the resulting solutions remain feasible. We characterize the calibration magnitudes and the DNN size sufficient for ensuring universal feasibility. We propose a new Adversarial-Sample Aware training algorithm to improve DNN's optimality performance without sacrificing feasibility guarantee. Overall, the framework provides two DNNs. The first one from characterizing the sufficient DNN size can guarantee universal feasibility while the other from the proposed training algorithm further improves optimality and maintains DNN's universal feasibility simultaneously. We apply the framework to develop DeepOPF+ for solving essential DC optimal power flow problems in grid operation. Simulation results over IEEE test cases show that it outperforms existing strong DNN baselines in ensuring 100% feasibility and attaining consistent optimality loss (<0.19%) and speedup (up to ×228) in both light-load and heavy-load regimes, as compared to a state-of-the-art solver. We also apply our framework to a non-convex problem and show its performance advantage over existing schemes. I. INTRODUCTION Recently, there have been increasing interests in employing neural networks, including deep neural networks (DNN), to solve constrained optimization problems in various problem domains, especially those needed to be solved repeatedly in real-time. The idea behind these machine learning approaches is to leverage the universal approximation capability of DNNs [1]- [3] to learn the mapping between the input parameters to the solution of an
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 9d3e5b8d-082a-49e4-a8b5-a5a63bf169a1Cited by top-tier papers4
- Enforcing Hard Linear Constraints in Deep Learning Models with Decision RulesGonzalo E. Constante, Hao Chen, Can LiNeurIPS 2025 · 13 citations
- Generative Learning for Solving Non-Convex Problem with Multi-Valued Input-Solution MappingEnming Liang, Minghua ChenICLR 2024 · 10 citations
- Compact Optimality Verification for Optimization ProxiesWenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van HentenryckICML 2024 · 3 citations
- T-SKM-Net: Trainable Neural Network Framework for Linear Constraint Satisfaction via Sampling Kaczmarz-Motzkin MethodHaoyu Zhu, Yao Zhang, Jiashen Ren, Qingchun HouAAAI 2026
Builds on8
- Predicting AC Optimal Power Flows: Combining Deep Learning and Lagrangian Dual MethodsFerdinando Fioretto, Terrence W. K. Mak, Pascal Van HentenryckAAAI 2020 · 250 citations
- Adversarial Distributional Training for Robust Deep LearningYinpeng Dong, Zhijie Deng, Tianyu Pang, Jun Zhu et al.NeurIPS 2020 · 154 citations
- Provable repair of deep neural networksMatthew Sotoudeh, Aditya V. ThakurPLDI 2021 · 65 citations
- DC3: A learning method for optimization with hard constraintsPriya L. Donti, David Rolnick, J. Zico KolterICLR 2021 · 64 citations
- Learning Hard Optimization Problems: A Data Generation PerspectiveJames Kotary, Ferdinando Fioretto, Pascal Van HentenryckNeurIPS 2021 · 45 citations
Related papers
- Optimization Proxies using Limited Labeled Data and Training Time - A Semi-Supervised Bayesian Neural Network ApproachParikshit Pareek, Abhijith Jayakumar, Kaarthik Sundar, Sidhant Misra et al.ICML 2025
- Efficient Bisection Projection to Ensure Neural-Network Solution Feasibility for Optimization over General SetEnming Liang, Minghua ChenICML 2025
- VNN: Verification-Friendly Neural Networks with Hard Robustness GuaranteesAnahita Baninajjar, Ahmed Rezine, Amir AminifarICML 2024 · 2 citations
- Deep Statistical SolversBalthazar Donon, Zhengying Liu, Wenzhuo Liu, Isabelle Guyon et al.NeurIPS 2020 · 22 citations
- Low Complexity Homeomorphic Projection to Ensure Neural-Network Solution Feasibility for Optimization over (Non-)Convex SetEnming Liang, Minghua Chen, Steven H. LowICML 2023 · 18 citations
