Artifacts for the QED Nano release
-
QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
📝31Who needs 1T parameters? Olympiad proofs with a 4B model
-
lm-provers/QED-Nano
Text Generation • 4B • Updated • 292 • 57 -
lm-provers/QED-Nano-SFT
Text Generation • 4B • Updated • 45 • 3 -
lm-provers/FineProofs-SFT
Viewer • Updated • 12.1k • 37 • 6