Trustworthy AI in numerics: On verification algorithms for neural network-based PDE solvers. - Emil Haugen; Alexei Stepanenko; Anders C. Hansen (CoRR, 2025)