Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators
arXiv:2605.08938v1 Announce Type: new
Abstract: Fourier Neural Operators (FNOs) can greatly accelerate PDE simulation, but they are often used without formal guarantees that they preserve basic physical structure. We show that, once the trained weight…