Running Featured 82 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 82 Who needs 1T parameters? Olympiad proofs with a 4B model
WTF GENIUS PAPERS Collection Papers that made me appreciate my major and my life a little more. obs=Observation, innov=Innovation. Most papers are abt improving tiny models. • 243 items • Updated about 12 hours ago • 58