Leanstral 1.5
PulseAugur coverage of Leanstral 1.5 — every cluster mentioning Leanstral 1.5 across labs, papers, and developer communities, ranked by signal.
- 2026-06-30 product_launch Mistral AI has released the Leanstral 1.5 model. source
- 2026-06-30 product_launch Mistral AI has released Leanstral 1.5. source
- 2026-06-30 product_launch Mistral AI released Leanstral 1.5, an updated model for automated theorem proving. source
- 2026-06-30 product_launch Mistral AI has released Leanstral 1.5, an updated model optimized for automated theorem proving and formalization. source
1 day(s) with sentiment data
-
Mistral AI releases Leanstral 1.5 with 119B parameters
Mistral AI has released Leanstral 1.5, a new model featuring 119 billion parameters. The release has been met with some skepticism, with commentary suggesting the large parameter count may overcomplicate simple tasks an…
-
Mistral AI releases Leanstral 1.5 model update
Mistral AI has released Leanstral 1.5, an updated version of their model. Further details and documentation can be found on the mistral.ai website.
-
Mistral AI releases Leanstral 1.5 for theorem proving · 2 sources tracked
Mistral AI has released Leanstral 1.5, an updated model designed for automated theorem proving and formalization. This new version features 119 billion total parameters with 6.5 billion active parameters and supports a …