Running Featured 78 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 78 Who needs 1T parameters? Olympiad proofs with a 4B model
ai4bharat/indic-conformer-600m-multilingual Automatic Speech Recognition • Updated Feb 7 • 61.4k • 96
microsoft/Phi-4-multimodal-instruct Automatic Speech Recognition • 6B • Updated Dec 10, 2025 • 551k • 1.61k
Running 601 Scaling test-time compute 📈 601 Boost LLM answers with flexible test‑time search strategies
naver/multilingual-distilwhisper-28k Automatic Speech Recognition • 0.2B • Updated Aug 26, 2024 • 13 • 15