-
codezakh/EFAGen-Llama-3.1-8B-Instruct-Training-Data
Viewer • Updated • 4.26k • 106 • 1 -
codezakh/NuminaMath-1.5-EFA-Subset
Viewer • Updated • 17k • 76 • 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 • 13
Zaid Khan
codezakh
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
17 days ago
Video-Skill-CoT: Skill-based Chain-of-Thoughts for Domain-Adaptive Video
Reasoning
liked
a model
22 days ago
osmosis-ai/Osmosis-Structure-0.6B
liked
a dataset
about 2 months ago
Maxwell-Jia/AIME_2024
Organizations
-
codezakh/EFAGen-Llama-3.1-8B-Instruct-Training-Data
Viewer • Updated • 4.26k • 106 • 1 -
codezakh/NuminaMath-1.5-EFA-Subset
Viewer • Updated • 17k • 76 • 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 • 13
Skills, datasets, etc for DataEnvGym: Data Generation Agents in Teacher Environments with Student Feedback
datasets
6
codezakh/NuminaMath-1.5-EFA-Subset
Viewer
•
Updated
•
17k
•
76
•
1
codezakh/EFAGen-Llama-3.1-8B-Instruct-Training-Data
Viewer
•
Updated
•
4.26k
•
106
•
1
codezakh/dataenvgym-livecodebench-solutions
Viewer
•
Updated
•
1
•
39
codezakh/dataenvbench-discovered-skills
Updated
•
5
codezakh/dataenvgym-gqa-raw
Viewer
•
Updated
•
933
•
49
•
1
codezakh/dataenvgym-gqa
Viewer
•
Updated
•
933
•
42
•
1