-
codezakh/EFAGen-Llama-3.1-8B-Instruct-Training-Data
Viewer • Updated • 4.26k • 18 • 1 -
codezakh/NuminaMath-1.5-EFA-Subset
Viewer • Updated • 17k • 11 • 1 -
codezakh/EFAGen-Llama-3.1-Instruct-8B
Text Generation • Updated • 2 -
Executable Functional Abstractions: Inferring Generative Programs for Advanced Math Problems
Paper • 2504.09763 • Published • 12
Zaid Khan
codezakh
AI & ML interests
None yet
Recent Activity
commented on
a paper
1 day ago
One Life to Learn: Inferring Symbolic World Models for Stochastic
Environments from Unguided Exploration
liked
a model
16 days ago
jet-ai/Jet-Nemotron-2B
Organizations
-
codezakh/EFAGen-Llama-3.1-8B-Instruct-Training-Data
Viewer • Updated • 4.26k • 18 • 1 -
codezakh/NuminaMath-1.5-EFA-Subset
Viewer • Updated • 17k • 11 • 1 -
codezakh/EFAGen-Llama-3.1-Instruct-8B
Text Generation • Updated • 2 -
Executable Functional Abstractions: Inferring Generative Programs for Advanced Math Problems
Paper • 2504.09763 • Published • 12
Skills, datasets, etc for DataEnvGym: Data Generation Agents in Teacher Environments with Student Feedback