LLM Comparison
GLM-5.3-Flash vs Leanstral 1.5
Side-by-side specs, pricing & capabilities · Updated September 2026
Add to comparison
2/6 models| Organization | ||
| OpenTools Score | 72 444 | |
| Family | GLM | Leanstral |
| Status | Current | Current |
| Release Date | Aug 2026 | Jun 2026 |
| Context Window | 1.3M tokens | 256K tokens |
| Input Price | $0.07/M tokens | Free |
| Output Price | $0.25/M tokens | Free |
| Pricing Notes | OpenRouter lists a limited-time discounted price of $0.075/M input and $0.25/M output. Standard first-party style pricing is commonly $0.15/M input and $0.50/M output; cache-read pricing may vary by provider. | Mistral model card lists Leanstral 1.5 price as $0. Changelog says the Labs endpoint is scheduled to retire on 2026-09-30. |
| Capabilities | textvisionvideo-inputcodetool-usereasoninglong-contextopen-weights | textreasoningcodingformal-verificationtool-usestructured-output |
| Training Cutoff | Not disclosed | — |
| Max Output | 131K tokens | 128K tokens |
| API Identifier | z-ai/glm-5.3-flash | labs-leanstral-1-5 |
| Benchmarks | ||
| Artificial Analysis Intelligence Index v4.1.1 | 57artificial-analysis | — |
| MMLU | 88.1official | — |
| Artificial Analysis Intelligence Index v4.3 | 41.9074artificial-analysis | — |
| GPQA Diamond | 91.2121artificial-analysis | — |
| SciCode | 51.6204artificial-analysis | — |
| Terminal-Bench 2.1 | 84.2697artificial-analysis | — |
| miniF2F | — | 100mistral |
| PutnamBench | — | 587mistral |
| FLTEval pass@8 | — | 43.2mistral |
| View GLM-5.3-Flash | View Leanstral 1.5 | |
Cost Calculator
Enter your expected monthly token usage to compare costs.
| Model | Input | Output | Total / mo | vs Best |
|---|---|---|---|---|
| Leanstral 1.5Cheapest | $0.00 | $0.00 | $0.00 | — |
| GLM-5.3-Flash | $0.08 | $0.13 | $0.20 | +0% |
Z.ai
GLM-5.3-Flash
GLM-5.3-Flash is Z.ai’s open-weight GLM-5 model for efficient coding, long-horizon agent tasks, and long-context multimodal reasoning. It uses a hybrid sparse and linear attention design with 320B total parameters and 18B active parameters.
Mistral AI
Leanstral 1.5
Leanstral 1.5 is Mistral AI free Lean 4 formal proof-engineering model for automated theorem proving, autoformalization, and real-world code verification. Official Mistral docs list it as a Labs model with 119B total parameters, 6.5B active parameters, a 256k context window, 128k max output, $0 pricing, and the labs-leanstral-1-5 API identifier.
More Comparisons
Looking for more AI models?
Browse All LLMs