works on
contraction theory 1noise reduction 1nonlinear dynamics 1numerical discretization 1Wasserstein distance 1

From the 1 of 24 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

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