Mistral: Leanstral 1.5

Leanstral 1.5 is a Mistral Labs model post-trained from Mistral Small 4 for Lean theorem-proving workflows. Mistral exposes labs-leanstral-1-5 and labs-leanstral-1-5-1 as reciprocal aliases for the same underlying release.

Overview Playground Providers Pricing Performance Apps Activity Quickstart Benchmarks Family Timeline

AI Stats by Phaseo brings together model, provider, and gateway data for teams building with AI APIs.

Read the docs

Check status

View GitHub

Explore

Models
Playground
Compare
Providers
Apps
Rankings
Monitor

Build

Documentation
API Reference
Quickstart
SDKs
Methodology

Company

Announcements
Pricing
Works With
Support
Privacy
Terms

Community

Discord
GitHub
Reddit
LinkedIn
X

Spotted a data issue or broken page?Open an issueorcontact support

Models Playground Compare Providers Apps Rankings

Quickstart

Start calling this model with endpoint-specific examples.

Benchmarks

Headline benchmark standings and comparison context.

About

Key dates, capabilities, and model metadata.

Leanstral 1.5 Benchmarks - Performance Highlights | AI Stats

Mistral: Leanstral 1.5

Chat Compare

Overview Playground Providers Pricing Performance Apps Activity Quickstart Benchmarks Family Timeline

Benchmarks

Headline benchmark standings and comparison context.

No benchmark data yet

No benchmark data is available for this model yet.