QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
65
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 18 days ago