Leanstral 1.5 Collection An open-source code agent model designed for Lean 4. • 1 item • Updated 2 days ago • 4
Specialist Models - Built with Forge Collection Domain-specialist models trained on Forge, Mistral's platform for building custom AI — from pre-training to post-training and reinforcement learning. • 4 items • Updated 2 days ago • 3
Shieldstral Collection A compact 3B-parameter, policy-adaptive multimodal safety classifier. • 1 item • Updated 2 days ago
Mistral Models Collection Mistral's flagship open-weight models — built for breadth. Frontier-grade reasoning, multimodal input, code generation, and agentic capabilities. • 4 items • Updated 2 days ago • 3
Mistral Large 4 Collection Frontier model handling instruction-following, reasoning, and coding in a single set of opened-weights. • 1 item • Updated 2 days ago • 7
Specialist Models - Built with Forge Collection Domain-specialist models trained on Forge, Mistral's platform for building custom AI — from pre-training to post-training and reinforcement learning. • 4 items • Updated 2 days ago • 3
