Running 15 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 15 Who needs 1T parameters? Olympiad proofs with a 4B model
Running 54 Parakeet STT Progressive Transcription 🎤 54 Transcribe speech to text instantly in the browser
Qwen3 Next Collection Alibaba's first hybrid model, designed to cut resources and speed things up. • 8 items • Updated Sep 15, 2025 • 5
view article Article From Golden Gate Bridge to Broken JSON: Why Anthropic's SAE Steering Fails for Structured Output 8 days ago • 18