Zaid Khan PRO

codezakh's activity

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

commented a paper 10 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 over 1 year ago

Upload hf_formatted_records.jsonl with huggingface_hub

1

#2 opened over 1 year ago by

codezakh

New activity in codezakh/EFAGen-Llama-3.1-Instruct-8B over 1 year ago

Improve metadata, link to project page

1

#1 opened over 1 year ago by

nielsr

New activity in codezakh/EFAGen-Llama-3.1-8B-Instruct-Training-Data over 1 year ago

Update paper link, add task categories

#2 opened over 1 year ago by

nielsr

New activity in codezakh/NuminaMath-1.5-EFA-Subset over 1 year ago

Add task category, fix paper link

#1 opened over 1 year ago by

nielsr

commented 2 papers over 1 year ago

Executable Functional Abstractions: Inferring Generative Programs for Advanced Math Problems

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

2

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

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

2