Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators

Ali Baheri, Ignacio Laguna Peralta

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,…