Running Featured 26 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems π 26 Who needs 1T parameters? Olympiad proofs with a 4B model
Running on Zero MCP 4 Awesome Drums Transformer πΌ 4 Generate awesome unique drum track for any MIDI
asigalov61/Karaoke-Timed-Lyrics-Qwen3-0.6B Text Generation β’ 0.6B β’ Updated about 4 hours ago β’ 53 β’ 2