Running
Featured
69
QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝
Who needs 1T parameters? Olympiad proofs with a 4B model
LM Provers
Team
community
AI & ML interests
None defined yet.
Recent Activity
View all activity
None defined yet.