Math Reasoning

Executable Functional Abstractions: Inferring Generative Programs for Advanced Math Problems

EFA is a new way to generate diverse math problems for LLMs, by inferring generative programs from seed problems

Zaid Khan, Elias Stengel-Eskin, Archiki Prasad, Jaemin Cho, Mohit Bansal