APA (7th ed.) Citation

Baheri, A., & Peralta, I. L. (2026). Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators.

Chicago Style (17th ed.) Citation

Baheri, Ali, and Ignacio Laguna Peralta. Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators. 2026.

MLA (9th ed.) Citation

Baheri, Ali, and Ignacio Laguna Peralta. Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators. 2026.

Warning: These citations may not always be 100% accurate.