Trustworthy AI in numerics: On verification algorithms for neural network-based PDE solvers - Haugen, Emil; Stepanenko, Alexei; Hansen, Anders C (2025)
Keywords: Computer Science - Numerical Analysis; Mathematics - Numerical Analysis