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

Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators arXiv:2605.08938v2 Announce Type: replace 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 in an FNO is a linear map. As a result, the full forward pass is piecewise-linear and can be represen