¿Podemos verificar formalmente los sustitutos neuronales de EDP? Compilación SMT de pequeños operadores neuronales de Fourier
Verificación formal de sustitutos neuronales de EDP con compilación SMT de Fourier. Un enfoque riguroso para validar la precisión de modelos de IA en física computacional.