Leanstral-1.5-119B-A6B

Which Leanstral-1.5-119B-A6B does this page describe?

Leanstral-1.5-119B-A6B is a model record from Mistral AI in the Leanstral family. Source

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

How can you access Leanstral-1.5-119B-A6B?

The catalog documents API and Open weights access for Leanstral-1.5-119B-A6B. Source

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

For API use, confirm the exact model identifier, your account and region, and the endpoint's current limits in the linked documentation. An API listing does not establish access through a consumer subscription.

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-1.5-119B-A6B'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-1.5-119B-A6B?

Release date: June 30, 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-1.5-119B-A6B 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-1.5-119B-A6B?

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-1.5-119B-A6B?

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-1.5-119B-A6B checkpoint?

This evidence refers to mistralai/Leanstral-1.5-119B-A6B at recorded revision 81592da95d94ab0439bfce16df1d55b402e598b6, 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