Machine Learning with Hard Constraints

Navid Azizan presents methods that make neural models obey physical, safety and operational constraints at deployment. Hard-constrained neural networks, or HardNets, enforce input-dependent constraints by construction while preserving universal approximation within the feasible function class. Applications include models of chaotic dynamics with bounded trajectories, energy-constrained operator learning, safe reinforcement learning and control with formal guarantees. The talk then turns to enforcing constraints during sampling from pretrained diffusion and flow-matching models. Formulating generation as trajectory optimization allows receding-horizon control to guide outputs toward feasibility without retraining or imposing excessive restrictions on the sampling process. Examples from fluid dynamics, robot planning and control, PDE control and language-guided image editing illustrate how constraints can define admissible behavior while retaining expressive learning and generation.