QED Nano Artifacts for the QED Nano release QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 74 Who needs 1T parameters? Olympiad proofs with a 4B model Text Generation • 4B • Updated Mar 23 • 156 • • 88 Text Generation • 4B • Updated Mar 9 • 300 • • 6 Viewer • Updated Feb 14 • 12.1k • 277 • 42
QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 74 Who needs 1T parameters? Olympiad proofs with a 4B model
QED Nano Artifacts for the QED Nano release QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 74 Who needs 1T parameters? Olympiad proofs with a 4B model Text Generation • 4B • Updated Mar 23 • 156 • • 88 Text Generation • 4B • Updated Mar 9 • 300 • • 6 Viewer • Updated Feb 14 • 12.1k • 277 • 42
QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 74 Who needs 1T parameters? Olympiad proofs with a 4B model
QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 Who needs 1T parameters? Olympiad proofs with a 4B model