TY  - RPRT
TI  - Trustworthy AI in numerics: On verification algorithms for neural network-based PDE solvers
AU  - Emil Haugen
AU  - Alexei Stepanenko
AU  - Anders C. Hansen
PY  - 2026
UR  - https://arxiv.org/abs/2509.26122
ID  - 2509.26122
ER  -