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