David C. Del Rey Fernández

Learning Lyapunov Operators for Nonlinear Systems

Amartya Mukherjee, Maxwell Fitzsimmons, David C. Del Rey Fernández, et al.

Rigorous Error Certification for Neural PDE Solvers: From Empirical Residuals to Solution Guarantees

Amartya Mukherjee, Maxwell Fitzsimmons, David C. Del Rey Fernández, et al.

This paper solves a major problem with physics-informed neural networks (PINNs)—we don't know how accurate their solutions actually are. The researchers proved that if a neural network's residual errors (how well it satisfies the equations) are small, then its actual solution must be close to the true answer, providing the first rigorous guarantees for these AI-based equation solvers.