QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
64
Who needs 1T parameters? Olympiad proofs with a 4B model
ds
devdsa
AI & ML interests
None yet
Recent Activity
liked
a Space 20 days ago
lm-provers/qed-nano-blogpost updated
a collection
3 months ago
multi updated
a collection
3 months ago
multi Organizations
None yet
liked a Space 20 days ago