Zaid Khan

codezakh's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

commented a paper 4 months ago

One Life to Learn: Inferring Symbolic World Models for Stochastic Environments from Unguided Exploration

Paper • 2510.12088 • Published Oct 14, 2025 • 5 •

2

New activity in codezakh/NuminaMath-1.5-EFA-Subset 10 months ago

Upload hf_formatted_records.jsonl with huggingface_hub

1

#2 opened 10 months ago by

codezakh

New activity in codezakh/EFAGen-Llama-3.1-Instruct-8B 10 months ago

Improve metadata, link to project page

1

#1 opened 10 months ago by

nielsr

New activity in codezakh/EFAGen-Llama-3.1-8B-Instruct-Training-Data 10 months ago

Update paper link, add task categories

#2 opened 10 months ago by

nielsr

New activity in codezakh/NuminaMath-1.5-EFA-Subset 10 months ago

Add task category, fix paper link

#1 opened 10 months ago by

nielsr

commented a paper 10 months ago

Executable Functional Abstractions: Inferring Generative Programs for Advanced Math Problems

Paper • 2504.09763 • Published Apr 14, 2025 • 12 •

2

commented a paper 12 months ago

MutaGReP: Execution-Free Repository-Grounded Plan Search for Code-Use

Paper • 2502.15872 • Published Feb 21, 2025 • 5 •

2