I have recently been looking at with the MATH() functional dataset, which is a system for synthetically generating math problems and their solutions, to be used as data for evaluating large language models (LLMs). Random values, and derived calculations, are substituted into problem/solution templates. These templates are derived from a static dataset called