Running Featured 83 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 83 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. • 263 items • Updated 1 day ago • 64