Surrogate accuracy isn’t the same as verification. When you need credibility, analytical/manufactured solutions act like unit tests.
We’ve released an updated preprint (SIGS v3): grammar-valid symbolic candidates → latent-manifold exploration → residual-validated refinement (incl. coupled PDE systems).
For project page click here: https://oroikono.github.io/sigs-paper-site/#benchmarks
#SciML #PDE #NeuroSymbolicAI #eth-ai-center #eth #ai #ml