Running Featured 55 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 55 Who needs 1T parameters? Olympiad proofs with a 4B model
mistralai/Voxtral-Mini-4B-Realtime-2602 Automatic Speech Recognition • Updated 9 days ago • 277k • 650
haykgrigorian/TimeCapsuleLLM-v2mini-eval1-llama-300M Text Generation • 0.3B • Updated Dec 16, 2025 • 19 • 39