Running Featured 84 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems π 84 Who needs 1T parameters? Olympiad proofs with a 4B model
ai4bharat/indic-conformer-600m-multilingual Automatic Speech Recognition β’ Updated Feb 7 β’ 582k β’ 197
microsoft/Phi-4-multimodal-instruct Automatic Speech Recognition β’ 6B β’ Updated Dec 10, 2025 β’ 259k β’ 1.62k
Running 602 Scaling test-time compute π 602 Boost LLM answers with flexible testβtime search strategies
microsoft/Phi-3-mini-128k-instruct Text Generation β’ 4B β’ Updated Dec 10, 2025 β’ 158k β’ 1.71k
playgroundai/playground-v2.5-1024px-aesthetic Text-to-Image β’ 3B β’ Updated Mar 15, 2024 β’ 328k β’ β’ 771