Showing math.NAShow all
2 papers · 1 filter
math.NA2025
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. These verification algorithms compute accurate estimates of …
math.NA2024
Computing scattering resonances of rough obstacles
Frank Rösler, Alexei Stepanenko
This paper is concerned with the numerical computation of scattering resonances of the Laplacian for Dirichlet obstacles with rough boundary. We prove that under mild geometric ass…