Running Featured 45 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems π 45 Who needs 1T parameters? Olympiad proofs with a 4B model
Running Featured 229 Llama 3.2 Reasoning WebGPU π§ 229 Small and powerful reasoning LLM that runs in your browser
meta-llama/Llama-3.1-405B-Instruct-FP8 Text Generation β’ 406B β’ Updated Sep 25, 2024 β’ 19.6k β’ 193
Running on CPU Upgrade 243 Open Portuguese LLM Leaderboard π 243 Track, rank and evaluate open LLMs in Portuguese
mistralai/Mistral-7B-Instruct-v0.2 Text Generation β’ 7B β’ Updated Jul 24, 2025 β’ 2.51M β’ β’ 3.08k
Running on Zero MCP Featured 70 GLM OCR Demo π 70 Multimodal OCR model for complex document understanding.