Trustworthy AI in numerics: On verification algorithms for neural network-based PDE solvers

Emil Haugen, Alexei Stepanenko, Anders C. Hansen

We present new algorithms for a posteriori verification of neural networks (NNs) approximating solutions to PDEs. We use numerical quadrature to compute upper bounds for $L^2$ norm…