QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
85
Who needs 1T parameters? Olympiad proofs with a 4B model
Jasper
JasperDekoninck
AI & ML interests
None yet
Recent Activity
updated a Space 1 day ago
MathArena/README updated a dataset 5 days ago
MathArena/cmimc_2025_outputs updated a dataset 5 days ago
MathArena/cmimc_2025Organizations
liked a
Space 8 months ago
liked a
model 8 months ago
liked a
dataset over 1 year ago