QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
65
Who needs 1T parameters? Olympiad proofs with a 4B model
Jasper
JasperDekoninck
AI & ML interests
None yet
Recent Activity
updated
a collection
1 day ago
MathArena Benchmark new activity
7 days ago
MathArena/aime_2026:Wrong answers updated
a Space 8 days ago
lm-provers/qed-nano-blogpost Organizations
liked a Space 26 days ago
liked a model 29 days ago
liked a dataset 8 months ago