:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Golder, Rahul, Roy, Bimol Nath, Hasan, M. M. Faruque
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2512.05881
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Physics-Informed Neural Networks with Hard Nonlinear Equality and Inequality Constraints
by: Iftakher, Ashfaq, et al.
Published: (2025)

NLPOpt-Net: A Learning Method for Nonlinear Optimization with Feasibility Guarantees
by: Roy, Bimol Nath, et al.
Published: (2026)

HardNet++: Nonlinear Constraint Enforcement in Neural Networks
by: Goertzen, Andrea, et al.
Published: (2026)

HardNet: Hard-Constrained Neural Networks with Universal Approximation Guarantees
by: Min, Youngjae, et al.
Published: (2024)

Discovering Interpretable Ordinary Differential Equations from Noisy Data
by: Golder, Rahul, et al.
Published: (2025)

Enforcing Hard Linear Constraints in Deep Learning Models with Decision Rules
by: Constante-Flores, Gonzalo E., et al.
Published: (2025)

SnareNet: Flexible Repair Layers for Neural Networks with Hard Constraints
by: Chu, Ya-Chi, et al.
Published: (2026)

Hard Constraint Projection in a Physics Informed Neural Network
by: Horne, Miranda J. S., et al.
Published: (2026)

Physics-Informed Neural Networks with Hard Linear Equality Constraints
by: Chen, Hao, et al.
Published: (2024)

RAYEN: Imposition of Hard Convex Constraints on Neural Networks
by: Tordesillas, Jesus, et al.
Published: (2023)

DAE-KAN: A Kolmogorov-Arnold Network Model for High-Index Differential-Algebraic Equations
by: Luo, Kai, et al.
Published: (2025)

Constrained Diffusion for Protein Design with Hard Structural Constraints
by: Christopher, Jacob K., et al.
Published: (2025)

Physics-Constrained Flow Matching: Sampling Generative Models with Hard Constraints
by: Utkarsh, Utkarsh, et al.
Published: (2025)

Constrained Posterior Sampling: Time Series Generation with Hard Constraints
by: Narasimhan, Sai Shankar, et al.
Published: (2024)

Benchmarking Graph Neural Networks in Solving Hard Constraint Satisfaction Problems
by: Skenderi, Geri, et al.
Published: (2026)

Hardness of Learning Fixed Parities with Neural Networks
by: Shoshani, Itamar, et al.
Published: (2025)

On the Hardness of Training Deep Neural Networks Discretely
by: Doron-Arad, Ilan
Published: (2024)

Hard-Constrained Neural Networks with Physics-Embedded Architecture for Residual Dynamics Learning and Invariant Enforcement in Cyber-Physical Systems
by: Spotorno, Enzo Nicolás, et al.
Published: (2025)

Gradient-Free Generation for Hard-Constrained Systems
by: Cheng, Chaoran, et al.
Published: (2024)

HardFlow: Hard-Constrained Sampling for Flow-Matching Models via Trajectory Optimization
by: Li, Zeyang, et al.
Published: (2025)

CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints
by: Paulus, Anselm, et al.
Published: (2021)

Learning Adversarial MDPs with Stochastic Hard Constraints
by: Stradi, Francesco Emanuele, et al.
Published: (2024)

Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generation with Hard Constraints
by: Geng, Chuqin, et al.
Published: (2026)

Hard-Label Cryptanalytic Extraction of Neural Network Models
by: Chen, Yi, et al.
Published: (2024)

Hardness of Learning Neural Networks under the Manifold Hypothesis
by: Kiani, Bobak T., et al.
Published: (2024)

Deep Generative Models with Hard Linear Equality Constraints
by: Li, Ruoyan, et al.
Published: (2025)

Hard-Constrained Deep Learning for Climate Downscaling
by: Harder, Paula, et al.
Published: (2022)

HUANet: Hard-Constrained Unrolled ADMM for Constrained Convex Optimization
by: Tran, Trinh, et al.
Published: (2026)

Empirical Stability Analysis of Kolmogorov-Arnold Networks in Hard-Constrained Recurrent Physics-Informed Discovery
by: Spotorno, Enzo Nicolas, et al.
Published: (2026)

HANNA: Hard-constraint Neural Network for Consistent Activity Coefficient Prediction
by: Specht, Thomas, et al.
Published: (2024)

Are Sparse Neural Networks Better Hard Sample Learners?
by: Xiao, Qiao, et al.
Published: (2024)

On the Hardness of Learning One Hidden Layer Neural Networks
by: Li, Shuchen, et al.
Published: (2024)

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
by: Baninajjar, Anahita, et al.
Published: (2023)

Picard-KKT-hPINN: Enforcing Nonlinear Enthalpy Balances for Physically Consistent Neural Networks
by: Lastrucci, Giacomo, et al.
Published: (2025)

Enforcing convex constraints in Graph Neural Networks
by: Rashwan, Ahmed, et al.
Published: (2025)

LMI-Net: Linear Matrix Inequality--Constrained Neural Networks via Differentiable Projection Layers
by: Tang, Sunbochen, et al.
Published: (2026)

DAGGER: Gradient-Free Construction of Transiently Amplifying Networks under Hard Connectivity Constraints
by: Ferguson, James C.
Published: (2026)

Predict-Project-Renoise: Sampling Diffusion Models under Hard Constraints
by: Rochman-Sharabi, Omer, et al.
Published: (2026)

SB-TRPO: Towards Safe Reinforcement Learning with Hard Constraints
by: Wagner, Dominik, et al.
Published: (2025)

Parameterized Hardness of Zonotope Containment and Neural Network Verification
by: Froese, Vincent, et al.
Published: (2025)