Design Linear Constrained Neural Layers with Implicit Convex Optimization
Junchi Yan, Jiaxi Liu, Yihui Tu, Fangyuan Zhou, Wenzheng Pan, Zhongteng Gui, Liangliang Shi
Abstract
One essential limitation of neural networks is how to enforce (hard) constraints on prediction. We propose a plug-in, differentiable layer, which involves a fast implicit (convex) optimization procedure to enforce the general linear constraint. It aims to minimize a divergence between unconstrained and constrained outputs. Connecting to and beyond existing handcrafted layers, we show that our layer degrades to classic layers like Softmax, Sinkhorn and tanh etc. when the corresponding constraint is enforced by KL-divergence minimization. We further show that by replacing the KL-div with a Euclidean distance, a closed-form solution can be derived for highly-efficient constraint enforcing. We evaluate the above two variants of layers, termed as BLCLayer and GLCLayer, with their corresponding neural solver BLCNet and GLCNet with simple MLP/GNN-like backbone. Experiments on linear programming, as well as two real-world problems: partial graph matching and portfolio allocation which involve other discrete constraints.
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 97c8b579-e13c-420b-8e1c-f9954bebe6d8Cited by top-tier papers1
Ask how each one uses itBuilds on12
- Structured Denoising Diffusion Models in Discrete State-SpacesJacob Austin, Daniel D. Johnson, Jonathan Ho, Daniel Tarlow et al.NeurIPS 2021 · 2,256 citations
- Spectral Temporal Graph Neural Network for Multivariate Time-series ForecastingDefu Cao, Yujing Wang, Juanyong Duan, Ce Zhang et al.NeurIPS 2020 · 841 citations
- DIFUSCO: Graph-based Diffusion Solvers for Combinatorial OptimizationZhiqing Sun, Yiming YangNeurIPS 2023 · 356 citations
- Differentiation of Blackbox Combinatorial SolversMarin Vlastelica Pogancic, Anselm Paulus, Vít Musil, Georg Martius et al.ICLR 2020 · 341 citations
- Generalize a Small Pre-trained Model to Arbitrarily Large TSP InstancesZhang-Hua Fu, Kai-Bin Qiu, Hongyuan ZhaAAAI 2021 · 247 citations
Related papers
- GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient DescentHongtai Zeng, Chao Yang, Yanzhen Zhou, Cheng Yang et al.NeurIPS 2024 · 9 citations
- LinSATNet: The Positive Linear Satisfiability Neural NetworksRunzhong Wang, Yunhao Zhang, Ziao Guo, Tianyi Chen et al.ICML 2023 · 27 citations
- Towards One-shot Neural Combinatorial Solvers: Theoretical and Empirical Notes on the Cardinality-Constrained CaseRunzhong Wang, Li Shen, Yiting Chen, Xiaokang Yang et al.ICLR 2023
- Learning differentiable solvers for systems with hard constraintsGeoffrey Négiar, Michael W. Mahoney, Aditi S. KrishnapriyanICLR 2023 · 6 citations
- DisjunctiveNet: Neural Symbolic Learning via Differentiable Convexified Optimization LayersShraman Pal, Can LiICML 2026
