QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
68
Who needs 1T parameters? Olympiad proofs with a 4B model
Ivan Medvedev
med1v
AI & ML interests
None yet
Recent Activity
View all activity
Organizations
None yet
liked a
Space 24 days ago