Este artículo presenta un sistema llamado EFAGen que genera automáticamente abstracciones funcionales ejecutables (EFAs) para problemas matemáticos. Las EFAs son programas que infieren procedimientos abstractos de problemas matemáticos específicos y soluciones para generar nuevos problemas similares, y se han limitado a las matemáticas elementales. EFAGen define un problema y solución dados como un problema de síntesis de programa, y formaliza las propiedades de un EFA válido a través de pruebas unitarias ejecutables. Busca programas candidatos muestreados de LLMs y utiliza la retroalimentación de ejecución de las pruebas unitarias como una señal de recompensa para encontrar programas EFA que reflejen fielmente el problema dado y la clase de solución. Entrena al LLM para convertirse en un mejor escritor de EFAs. Los resultados experimentales muestran que EFAGen puede inferir EFAs fieles para problemas matemáticos de varios niveles, generar variantes de problemas aprendibles, encontrar variantes de problemas más difíciles y más fáciles, y puede usarse para la generación de datos.