2 papers
eess.SY2024
Correctness Verification of Neural Networks Approximating Differential Equations
Petros Ellinas, Rahul Nellikath, Ignasi Ventura +2
Verification of Neural Networks (NNs) that approximate the solution of Partial Differential Equations (PDEs) is a major milestone towards enhancing their trustworthiness and accele…
physics.comp-ph2024
Error estimation for physics-informed neural networks with implicit Runge-Kutta methods
Jochen Stiasny, Spyros Chatzivasileiadis
The ability to accurately approximate trajectories of dynamical systems enables their analysis, prediction, and control. Neural network (NN)-based approximations have attracted sig…