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

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

© 2025 • AI Stats

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 Timeline - Announcements & Release History | AI Stats

Leanstral 1.5

Mistral: Leanstral 1.5

Leanstral 1.5 is a Mistral Labs model optimized for Lean 4 formal proof engineering, automated theorem proving, and autoformalization. Mistral documents labs-leanstral-1-5 as the public API model slug.

Overview Playground Providers Pricing Performance Apps Activity Quickstart Benchmarks Family Timeline

Model Timeline

30 Jun 2026

Model Released

Model first made available to the public

30 Jun 2026

Model Announced

Model first introduced to the public

16 Mar 2026

Previous version