QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
83
Who needs 1T parameters? Olympiad proofs with a 4B model
Gerardo Moreno
gziz
AI & ML interests
None yet
Recent Activity
published a model 7 days ago
gziz/snippet-extraction updated a model 7 days ago
gziz/snippet-extraction liked a Space about 1 month ago
lm-provers/qed-nano-blogpostOrganizations
None yet
liked a
Space about 1 month ago
liked a
model about 2 years ago