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