Pith. sign in

REVIEW 3 cited by

Learning differentiable solvers for systems with hard constraints

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2207.08675 v2 pith:5F2T6Z3O submitted 2022-07-18 cs.LG

classification cs.LG
keywords constraintsdifferentiablefunctionsmethodarchitecturedesiredenforcefamily
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We introduce a practical method to enforce partial differential equation (PDE) constraints for functions defined by neural networks (NNs), with a high degree of accuracy and up to a desired tolerance. We develop a differentiable PDE-constrained layer that can be incorporated into any NN architecture. Our method leverages differentiable optimization and the implicit function theorem to effectively enforce physical constraints. Inspired by dictionary learning, our model learns a family of functions, each of which defines a mapping from PDE parameters to PDE solutions. At inference time, the model finds an optimal linear combination of the functions in the learned family by solving a PDE-constrained optimization problem. Our method provides continuous solutions over the domain of interest that accurately satisfy desired physical constraints. Our results show that incorporating hard constraints directly into the NN architecture achieves much lower test error when compared to training on an unconstrained objective.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. End-to-End Learning of Safe Optimal Feedback Control in High Dimensions with Control Barrier Function Layers

    cs.LG 2026-07 conditional novelty 6.0 of 10

    A scalable end-to-end training method for neural controllers with embedded control-barrier-function safety filters, demonstrated up to 1200 state dimensions and 400 control dimensions, with convergence guarantees unde...

  2. Spatio-temporal, multi-field deep learning of shock propagation in meso-structured media

    cs.LG 2025-09 conditional novelty 6.0 of 10

    A CNN-LSTM surrogate autoregressively predicts seven coupled shock fields in meso-structured materials with 1.4-3.2% RMSE, 94% better than single-field models.

  3. Guaranteeing Conservation of Integrals with Projection in Physics-Informed Neural Networks

    cs.LG 2025-11 reject novelty 4.0 of 10

    A projection layer can enforce linear and quadratic integral conservation in PINNs, but the quadratic projection formula as printed omits the discretization factor and therefore does not satisfy its own constraint.

Pith tools