view article Article How we OCR'ed 30,000 papers using Codex, open OCR models and Jobs 27 days ago • 60
Running Featured 74 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 74 Who needs 1T parameters? Olympiad proofs with a 4B model