QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
67
Who needs 1T parameters? Olympiad proofs with a 4B model
Jasper
JasperDekoninck
AI & ML interests
None yet
Recent Activity
published
a dataset 2 days ago
MathArena/brokenarxiv-0226 updated
a dataset 2 days ago
MathArena/brokenarxiv-0226 updated
a collection
4 days ago
MathArena Benchmark Organizations
liked a Space 29 days ago
liked a model about 1 month ago
liked a dataset 8 months ago