Devstral(mistral.ai)

635 points by mfiguiere 1 year ago | 134 comments

Mistral AI's announcement of Devstral, an open-source LLM designed for software engineering and coding agent tasks.

Mistral OCR(mistral.ai)

1674 points by littlemerman 1 year ago | 404 comments

Mistral AI announcement post introducing Mistral OCR, a document understanding API, dated March 6, 2025.

Mistral Saba(mistral.ai)

117 points by stephen37 1 year ago | 14 comments

VibeVoice: A Frontier Open-Source Text-to-Speech Model(microsoft.github.io)

406 points by lastdong 1 year ago | 150 comments

Project page for Microsoft's VibeVoice, an open-source TTS model generating up to 90 minutes of multi-speaker conversational audio using LLM and diffusion.

Codestral: Mistral's Code Model(mistral.ai)

418 points by alexmolas 2 years ago | 185 comments

Mistral AI blog post from May 29, 2024 announcing Codestral, its generative AI model for code.

Leanstral: Open-source agent for trustworthy coding and formal proof engineering(mistral.ai)

730 points by Poudlardo 7 months ago | 178 comments

Mistral AI announcement of Leanstral, an open-source code agent for Lean 4 aimed at trustworthy coding and formal proof engineering.