17 citations · 17 across the 2 of their papers we have counts for
2 papers
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,…
physics.app-ph2022★ 17 cited
Suppressed-scattering windows for radiative cooling applications
José M. Pérez-Escudero, Alicia E. Torres-García, Carloz Leazun +5
The scattering of light by resonant nanoparticles is a key process for enhancing the solar reflectance in daylight radiative cooling. Here, we investigate the impact of material di…