QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
69
Who needs 1T parameters? Olympiad proofs with a 4B model
ruins
ruinnight
AI & ML interests
None yet
Recent Activity
liked a Space about 1 month ago
lm-provers/qed-nano-blogpost upvoted an article 3 months ago
Why We Built VIBE Bench: Rethinking Evaluation for Real Workloads upvoted an article 3 months ago
M2.1: Multilingual and Multi-Task Coding with Strong GeneralizationOrganizations
None yet
liked a
Space about 1 month ago
upvoted 2
articles 3 months ago
Article
Why We Built VIBE Bench: Rethinking Evaluation for Real Workloads
•
8
Article
M2.1: Multilingual and Multi-Task Coding with Strong Generalization
•
41
upvoted 2
articles 5 months ago
Article
History of State Space Models (SSM) in 2022
•
28
Article
Introduction to State Space Models (SSM)
•
219
liked 3
Spaces 5 months ago
Unlocking On-Policy Distillation for Any Model Family
📝
92
Visualize on-policy distillation for any model family
Scaling FineWeb to 1000+ languages: Step 1: finding signal in 100s of evaluation tasks
📝
91
Evaluate multilingual models using FineTasks
The Smol Training Playbook
📚
3.07k
The secrets to building world-class LLMs
liked 3
models 7 months ago
liked a
dataset 7 months ago
liked a
dataset 12 months ago