Running Featured 74 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems π 74 Who needs 1T parameters? Olympiad proofs with a 4B model
ai4bharat/indic-conformer-600m-multilingual Automatic Speech Recognition β’ Updated Feb 7 β’ 63.5k β’ 91
microsoft/Phi-4-multimodal-instruct Automatic Speech Recognition β’ 6B β’ Updated Dec 10, 2025 β’ 510k β’ 1.61k
Running 601 Scaling test-time compute π 601 Boost LLM answers with flexible testβtime search strategies
playgroundai/playground-v2.5-1024px-aesthetic Text-to-Image β’ Updated Mar 15, 2024 β’ 368k β’ β’ 765
naver/multilingual-distilwhisper-28k Automatic Speech Recognition β’ 0.2B β’ Updated Aug 26, 2024 β’ 14 β’ 15