Mistral Releases Leanstral-1.5-119B-A6B Model with Performance Upgrade

Core summary

One sentence to understand this update

Mistral has released Leanstral 1.5, an Apache-2.0 licensed model with 6B active parameters, delivering significant performance upgrades in formal verification and problem-solving.

Impact & opportunity

What this could mean

Researchers and developers can leverage this high-performance model for more capable AI applications in formal verification, mathematical reasoning, and more.