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 about 2 hours ago β’ 567k β’ 214
microsoft/Phi-4-multimodal-instruct Automatic Speech Recognition β’ 6B β’ Updated Dec 10, 2025 β’ 196k β’ 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 β’ 161k β’ 1.71k
playgroundai/playground-v2.5-1024px-aesthetic Text-to-Image β’ 3B β’ Updated Mar 15, 2024 β’ 277k β’ β’ 772