Verifier-guided discovery of exact high-order mimetic operators with large language models
This work tests whether large language models (LLMs) can help while remaining non-authoritative in a constrained mathematical search for high-order structure-preserving discretization and reconstructs four leading LLM-originated programs exactly.