Leanstral-2603

Which Leanstral-2603 does this page describe?

Leanstral-2603 is a model record from Mistral AI in the Leanstral family. Source

The recorded model identifier or checkpoint is 26.03. Use that exact identifier when checking documentation or a provider listing. Source

How can you access Leanstral-2603?

The catalog records the historical API and Open weights access route for Leanstral-2603. Source

As of the catalog check, this version was marked retired. Source Check the linked lifecycle information before starting a new integration.

For a new integration, use the publisher’s replacement guidance and check its current account, region and endpoint requirements. Historical API access does not mean the retired endpoint can still be called.

Open weights means the model weights are distributed for use under their stated terms. It does not establish a hosted API, an open-source license, or a hardware requirement. This record documents API access separately.

What are Leanstral-2603's context and output limits?

The documented context window is 256,000 tokens. Source

A separate maximum-output value is not established in this record. The context or input figure should not be used as an output allowance.

Context, input and output limits describe different constraints. Do not add the figures together to infer a larger window. Check the endpoint's accounting for conversation history, system instructions, tools, media and generated tokens; a documented maximum is not a guarantee of answer quality or a measured usable capacity.

What dates are documented for Leanstral-2603?

Release date: March 16, 2026. Source This is a release milestone, not a knowledge or training cutoff. The source labels this “Release date on Mistral model specification.”

Neither a knowledge cutoff nor a training-data cutoff is established here. A release date, repository upload or filename cannot supply those missing dates.

What can Leanstral-2603 receive and generate?

Documented inputs: Text and Image. Source

Documented outputs: Text. Source

Input support and output generation are separate capabilities. Reading an image does not establish image generation; a text output listing does not establish speech output. File sizes, formats and media limits depend on the documented implementation.

What license is recorded for Leanstral-2603?

The recorded license label is Apache 2.0. Source

Read the linked license and associated use terms for this exact version before redistribution, commercial deployment or fine-tuning. A label alone does not establish every permission, restriction or obligation, and it does not determine the terms of a separate hosted service.

What distinguishes Leanstral-2603?

These details come from the linked publisher material for this model. Reported capabilities and training descriptions are publisher statements, not independent test results.

Purpose

Code-agent model designed for Lean 4 formal proof development. Source

Expert routing

Routes each token through four of 128 experts. Source

Nominal parameters

119 billion total parameters, with 6.5 billion active per token. Source

Context and operating recommendation

Publisher documents a 256k-token context window. Source

What is documented about the Leanstral-2603 checkpoint?

This evidence refers to mistralai/Leanstral-2603 at recorded revision 410f315f41cdb7e6ed1330dbb5cda88ede250064, checked October 23, 2026. Repository metadata

Listed library: vllm. Check that library's version and model support before loading the weights. Repository metadata

Repository access gate: false. This records the repository's gate setting when checked; licensing and use terms still apply. Repository metadata

Read the retrieved model card for setup and qualifications. Model card