Running Featured 74 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 74 Who needs 1T parameters? Olympiad proofs with a 4B model
microsoft/Phi-4-multimodal-instruct Automatic Speech Recognition • 6B • Updated Dec 10, 2025 • 516k • 1.6k
Running 600 Scaling test-time compute 📈 600 Run advanced search strategies to boost LLM problem solving
naver/multilingual-distilwhisper-28k Automatic Speech Recognition • 0.2B • Updated Aug 26, 2024 • 18 • 15