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