Enforcing Hard Linear Constraints in Deep Learning Models with Decision Rules
Gonzalo E. Constante, Hao Chen, Can Li
Abstract
Deep learning models are increasingly deployed in safety-critical tasks where predictions must satisfy hard constraints, such as physical laws, fairness requirements, or safety limits. However, standard architectures lack built-in mechanisms to enforce such constraints, and existing approaches based on regularization or projection are often limited to simple constraints, computationally expensive, or lack feasibility guarantees. This paper proposes a model-agnostic framework for enforcing input-dependent linear equality and inequality constraints on neural network outputs. The architecture combines a task network trained for prediction accuracy with a safe network trained using decision rules from the stochastic and robust optimization literature to ensure feasibility across the entire input space. The final prediction is a convex combination of the two subnetworks, guaranteeing constraint satisfaction during both training and inference without iterative procedures or runtime optimization. We prove that the architecture is a universal approximator of constrained functions and derive computationally tractable formulations based on linear decision rules. Empirical results on benchmark regression tasks show that our method consistently satisfies constraints while maintaining competitive accuracy and low inference latency.
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 3f1b942a-0c07-4e0a-98b0-771a3de99c23Cited by top-tier papers2
- T-SKM-Net: Trainable Neural Network Framework for Linear Constraint Satisfaction via Sampling Kaczmarz-Motzkin MethodHaoyu Zhu, Yao Zhang, Jiashen Ren, Qingchun HouAAAI 2026
- DisjunctiveNet: Neural Symbolic Learning via Differentiable Convexified Optimization LayersShraman Pal, Can LiICML 2026
Builds on2
Related papers
- CAffNet: Hard Constraint-Affine Neural NetworksYang Zhao, Jungeun Lee, Jeong hwan Jeon, Sze Zheng YongICML 2026 · 1 citation
- DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint SatisfactionKshitij Goyal, Sebastijan Dumancic, Hendrik BlockeelAAAI 2024 · 9 citations
- Enforcing robust control guarantees within neural network policiesPriya L. Donti, Melrose Roderick, Mahyar Fazlyab, J. Zico KolterICLR 2021 · 12 citations
- Incorporating Interpretable Output Constraints in Bayesian Neural NetworksWanqian Yang, Lars Lorch, Moritz A. Graule, Himabindu Lakkaraju et al.NeurIPS 2020 · 17 citations
- Sample-Specific Output Constraints for Neural NetworksMathis Brosowsky, Florian Keck, Olaf Dünkel, Marius ZöllnerAAAI 2021 · 12 citations
