Running Featured 48 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 48 Who needs 1T parameters? Olympiad proofs with a 4B model
edbeeching/fixed-Qwen3-30B-A3B-Thinking-2507-SFT-v03.01-step-000000062 Text Generation • 31B • Updated Jan 23 • 6
edbeeching/fixed-Qwen3-30B-A3B-Thinking-2507-SFT-v03.01-step-000000062 Text Generation • 31B • Updated Jan 23 • 6
edbeeching/Qwen3-30B-A3B-Thinking-2507-trans-5.0-format Text Generation • 31B • Updated Jan 15 • 1.16k
edbeeching/Qwen3-30B-A3B-Thinking-2507-trans-5.0-format Text Generation • 31B • Updated Jan 15 • 1.16k