LLM Comparison
DiffusionGemma vs Leanstral 1.5
Side-by-side specs, pricing & capabilities · Updated August 2026
Add to comparison
2/6 models| Organization | ||
| OpenTools Score | 36 | |
| Family | Gemma | Leanstral |
| Status | Current | Current |
| Release Date | Jun 2026 | Jun 2026 |
| Context Window | 256K tokens | 256K tokens |
| Input Price | Free | Free |
| Output Price | Free | Free |
| Pricing Notes | Open-weights model under Apache 2.0; API pricing depends on the host or local infrastructure used. | Mistral model card lists Leanstral 1.5 price as $0. Changelog says the Labs endpoint is scheduled to retire on 2026-09-30. |
| Capabilities | textvisioncodereasoninglocal-inference | textreasoningcodingformal-verificationtool-usestructured-output |
| Max Output | 256 tokens | 128K tokens |
| API Identifier | google/diffusiongemma-26b-a4b-it | labs-leanstral-1-5 |
| Benchmarks | ||
| MMLU Pro | 77.6official-google-model-card | — |
| GPQA Diamond | 73.2official-google-model-card | — |
| LiveCodeBench v6 | 69.1official-google-model-card | — |
| MMMLU | 81.5official-google-model-card | — |
| HLE no tools | 11official-google-model-card | — |
| miniF2F | — | 100mistral |
| PutnamBench | — | 587mistral |
| FLTEval pass@8 | — | 43.2mistral |
| View DiffusionGemma | View Leanstral 1.5 | |
Cost Calculator
Enter your expected monthly token usage to compare costs.
| Model | Input | Output | Total / mo | vs Best |
|---|---|---|---|---|
| DiffusionGemmaCheapest | $0.00 | $0.00 | $0.00 | — |
| Leanstral 1.5Cheapest | $0.00 | $0.00 | $0.00 | — |
DiffusionGemma
DiffusionGemma is Google DeepMind’s experimental open-weights text-diffusion model based on Gemma 4 26B A4B. It uses discrete diffusion and parallel canvas denoising to trade some benchmark quality for much faster local generation on dedicated GPUs.
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