Running Featured 86 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 86 Who needs 1T parameters? Olympiad proofs with a 4B model
ai4bharat/indic-conformer-600m-multilingual Automatic Speech Recognition • Updated 17 days ago • 309k • 241
microsoft/Phi-4-multimodal-instruct Automatic Speech Recognition • 6B • Updated Dec 10, 2025 • 117k • 1.63k
playgroundai/playground-v2.5-1024px-aesthetic Text-to-Image • 3B • Updated Mar 15, 2024 • 68.1k • • 773