view article Article Welcome Le Chonk: Mistral Large 4 on Hugging Face +9 merve, alvarobartt, ror, cyrilvallez, qgallouedec, ehcalabres, juanjucm, ngxson, pcuenq, burtenshaw, ariG23498 • 5 days ago • 69
Leanstral 1.5 Collection An open-source code agent model designed for Lean 4. • 1 item • Updated 11 days ago • 5
view article Article What Is Mistral Large 4? A Practical Guide to the Multimodal Model 01router • 27 days ago • 3
gpt-oss Collection Open-weight models designed for powerful reasoning, agentic tasks, and versatile developer use cases. • 2 items • Updated Aug 7, 2025 • 484