arXiv Machine Learning
ENFORCE: Nonlinear Constrained Learning with Adaptive-depth Neural Projection
Read the original on arXiv Machine Learning →The Flow has not summarised this story yet — read it at arXiv Machine Learning.
Related stories
arXiv Machine Learning
Jun 5
DiffSlack: Learning under Nonlinear Inequality Constraints via Learnable Slack Variables
arXiv:2606. 05247v1 Announce Type: new Abstract: Enforcing nonlinear inequality constraints in neural networks remains challenging, especially when the output is subject to many coupled constraints.
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...
arXiv Machine Learning
1d ago
Optimality-Informed Neural Networks for Solving Parametric Optimization Problems
arXiv:2512.20270v2 Announce Type: replace-cross Abstract: Many engineering tasks require solving families of nonlinear constrained optimization problems, parametrized in setting-specific variables. T...
arXiv Machine Learning
Oct 3
HUANet: Hard-Constrained Unrolled ADMM for Constrained Convex Optimization
HUANet is a deep neural network architecture that unrolls the Alternating Direction Method of Multipliers (ADMM) into a trainable model for accelerating parametric constrained convex optimization. It embeds a hard‑constrained neural network in each ADMM iteration, using a differentiable correction stage to enforce affine equalities of the primal subproblem. The method also incorporates first‑order optimality conditions into a self‑supervised training loss, and numerical experiments on benchmark problems and a control application demonstrate its effectiveness in speeding up constrained convex optimization.
arXiv Machine Learning
Jun 19
Convex training of Lipschitz-regularized shallow neural networks
arXiv:2606. 19652v1 Announce Type: new Abstract: In this work, we introduce a training procedure for shallow neural networks that promotes robustness against adversarial attacks.
arXiv Machine Learning
Oct 7
CLAD: Constrained Abstract Domain for Neural Network Verification
arXiv:2609.34628v2 Announce Type: replace-cross Abstract: Neural network verification (NNV) formally verifies that a network satisfies a specified property for all inputs within a defined region. Mod...