Leanstral 1.5
Leanstral 1.5Compare inonMathArena · arXiv Lean March 2026
—per task?
price not verifiedprice
—output speed?
—context
Ranking?
Retired models are left out of the current rankings.
Alternatives?
ModelScoreCostPer taskWhat changes
OpenGLM 5.1unstatedsame—$1.40 / $4.40ModelScoreCostPer taskWhat changes
Nothing here yet.
ModelScoreCostPer taskWhat changes
Nothing here yet.
ModelScoreCostPer taskWhat changes
GLM 5.1unstatedOpensame—$1.40 / $4.40ModelScoreCostPer taskWhat changes
Mistral Large 4thinkingn/a—$1.61Infinite whitespace stream+4Mistral Medium 3.5highOpenn/a—$0.43Mistral Small 4thinkingOpenn/a—$0.017Mistral Smalln/a—$1 / $3Ministral 3 14B 2512non-thinkingOpenn/a—$0.019Ministral 3 3B 2512Openn/a—$0.008Ministral 3 8B 2512Openn/a—$0.011Mistral Large 3non-thinkingOpenn/a—$0.031All Mistral models →FAQ
How much does Leanstral 1.5 cost?›
There is no per-unit API price: price not verified.
What is Leanstral 1.5?›
Leanstral 1.5 is a language model from Mistral.
What are the best alternatives to Leanstral 1.5?›
GLM 5.1 (open weights).