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 weights and grid are fixed, the spectral convolution...