arXiv Machine Learning By Jesus Tordesillas, Victor Klemm, Jonathan P. How, Marco Hutter

RAYEN: Imposition of Hard Convex Constraints on Neural Networks

Read the original on arXiv Machine Learning →

RAYEN is a framework that enforces hard convex constraints—linear, quadratic, second‑order cone, and linear matrix inequality—on neural network outputs or latent variables. It guarantees constraint satisfaction during both training and testing for any input and network weights without relying on expensive orthogonal projections, soft constraints, or iterative corrections. The method incurs negligible computational overhead, enabling rapid enforcement of thousands of constraints and significantly speeding up constrained trajectory optimization compared to existing algorithms.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv Machine Learning.

arXiv AI
Oct 31

Convex-SKM-Net: Low-Latency Block Halfspace Corrections for Neural Convex Constraint Satisfaction

Convex‑SKM‑Net is a neural layer that enforces convex constraints by constructing linearization halfspaces from residual and gradient oracles, avoiding constraint‑specific projections. It uses fixed‑depth dual projected‑gradient descent on GPU‑friendly matrix operations to solve minimum‑displacement block problems, jointly learning a predictor and a positive‑definite mobility matrix to shape corrections. The method converges theoretically, achieves sub‑$10^{-3}$ feasibility on SOC‑MPC and power‑system relaxations, and outperforms state‑of‑the‑art constraint‑satisfaction techniques with up to 144× speedups and near‑optimal objective gaps.

By Haoyu Zhu, Xiaochen Zhang, Qingchun Hou
arXiv Machine Learning
Sep 23

CAffNet: Hard Constraint-Affine Neural Networks

arXiv:2605.24437v2 Announce Type: replace Abstract: We present a novel framework for embedding hard constraint satisfaction into neural network (NN) architectures, specifically feedforward neural net...

By Yang Zhao, Jungeun Lee, Jeong hwan Jeon, Sze Zheng Yong