QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
71
Who needs 1T parameters? Olympiad proofs with a 4B model
George Bassem
georgebassemfouad
AI & ML interests
None yet
Recent Activity
liked a Space about 1 month ago
lm-provers/qed-nano-blogpost liked a Space about 1 month ago
transformers-community/Transformers-tenets new activity about 1 month ago
HuggingFaceFW/finephrase:errorOrganizations
liked 5
Spaces about 1 month ago
Maintain the unmaintainable
📚
79
Explore the complex relationships between 400+ machine learning models
FineVision: Open Data is All You Need
📝
221
A new open-source dataset for training VLMs
Scaling FineWeb to 1000+ languages: Step 1: finding signal in 100s of evaluation tasks
📝
91
Evaluate multilingual models using FineTasks
The Synthetic Data Playbook: Generating Trillions of the Finest Tokens
📝
220
Explore synthetic data experiments on a virtual bookshelf
liked 2
Spaces 3 months ago
liked a
Space 5 months ago
liked a
dataset 10 months ago
liked 2
Spaces about 1 year ago
liked 2
Spaces over 1 year ago
liked a
model almost 2 years ago
liked a
dataset almost 2 years ago