Running
QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
Who needs 1T parameters? Olympiad proofs with a 4B model
Ramtin Hosseini PRO
Ramtinhoss
AI & ML interests
None yet
Recent Activity
liked
a Space
about 17 hours ago
Svngoku/jupyter2agent
liked
a Space
1 day ago
shallowdream204/BitDance-14B-64x
liked
a Space
1 day ago
Heartsync/Adult
Organizations