Verifier-guided discovery of exact high-order mimetic operators with large language models

J. de Curtò, I. de Zarzà

Designing a high-order structure-preserving discretization is a constrained mathematical search: conservation, a positive discrete inner product, physical spectral behavior, bounda…