@misc{indiciae9e86918da671,
  title = {Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators},
  author = {Ali Baheri and Ignacio Laguna Peralta},
  year = {2026},
  url = {https://arxiv.org/abs/2605.08938},
  note = {Source identifier: 2605.08938}
}