Running 15 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 15 Who needs 1T parameters? Olympiad proofs with a 4B model
view article Article Community Evals: Because we're done trusting black-box leaderboards over the community +5 12 days ago • 68
Running on Zero Featured 171 VibeVoice-Realtime-0.5B 🐨 171 Generate natural speech from text with selectable voices