Models/Devstral Small (Jul '25)

MDL

Devstral Small (Jul '25)

Mistral

Verified against Artificial Analysis · Jul 20, 2026

Capability

percentile index

Price /M

$0 / $0

in / out

Context

—

Avg score

30.5

11 benchmarks

AA Intelligence

9.3

index

Weights

Closed

Released

Jul 10, 2025

About

Devstral Small (Jul '25) is a proprietary model in the Devstral family from Mistral. Benchmarked on 11 evals, averaging 30.5.

Benchmark scores · 11

avg 30.5 — higher is better

MATHartificial-analysis · 2026-07

63.5

MMLU-Proartificial-analysis · 2026-07

62.2

GPQA Diamondartificial-analysis · 2026-07

41.4

IFBenchartificial-analysis · 2026-07

34.6

AIMEartificial-analysis · 2026-07

29.3

τ²-benchartificial-analysis · 2026-07

28.4

LiveCodeBenchartificial-analysis · 2026-07

25.4

SciCodeartificial-analysis · 2026-07

24.3

AA Long-Context Reasoningartificial-analysis · 2026-07

Terminal-Bench Hardartificial-analysis · 2026-07

6.1

Humanity's Last Examartificial-analysis · 2026-07

3.7

The research behind this model

all papers mentioning it →

Inferring Code Correctness from SpecificationMay 28, 2026

Mentions matched by name in title/abstract — from the arXiv + HF daily corpus.

Details

PublisherMistral

FamilyDevstral

Parameters—

License—

WeightsClosed

ReleasedJul 10, 2025

History

full ledger →

Capability over time

Append-only ledger — every observed change to this model's numbers.

API providers

Artificial Analysis$0/M