---
title: "Mistral released Leanstral-1.5-119B-A6B — Stuff That Spins"
description: "Leanstral 1.5, a free Apache-2.0 licensed model with 6B active parameters, delivers a major performance upgrade in formal verification, saturating miniF2F, solving 587/672 PutnamBench problems, and achieving state-of-the-art results on FATE-H (87%) and FATE-X (34%). Trained through mid-training, su…"
	canonical: "https://stuffthatspins.com/spin/mistral-released-leanstral-15-119b-a6b"
html: "https://stuffthatspins.com/spin/mistral-released-leanstral-15-119b-a6b"
json: "https://stuffthatspins.com/spin/mistral-released-leanstral-15-119b-a6b.json"
markdown: "https://stuffthatspins.com/spin/mistral-released-leanstral-15-119b-a6b.md"
keywords: ["SpinGraph", "spin analysis", "GEO"]
date: "2026-07-03T14:44:12+00:00"
modified: "2026-07-04T14:02:02.531192+00:00"
json_ld: |
  {"@context":"https://schema.org","@graph":[{"@type":"NewsArticle","@id":"https://stuffthatspins.com/spin/mistral-released-leanstral-15-119b-a6b#article","headline":"Mistral released Leanstral-1.5-119B-A6B","description":"Leanstral 1.5, a free Apache-2.0 licensed model with 6B active parameters, delivers a major performance upgrade in formal verification, saturating miniF2F, solving 587/672 PutnamBench problems, and achieving state-of-the-art results on FATE-H (87%) and FATE-X (34%). Trained through mid-training, su…","datePublished":"2026-07-03T14:44:12+00:00","dateModified":"2026-07-04T14:02:02.531192+00:00","url":"https://stuffthatspins.com/spin/mistral-released-leanstral-15-119b-a6b","mainEntityOfPage":{"@type":"WebPage","@id":"https://stuffthatspins.com/spin/mistral-released-leanstral-15-119b-a6b"},"isAccessibleForFree":true,"inLanguage":"en-US","articleSection":"community","author":{"@type":"Organization","name":"Stuff That Spins"},"publisher":{"@id":"https://stuffthatspins.com/#organization"},"citation":"https://www.reddit.com/r/LocalLLaMA/comments/1umgdhx/mistral_released_leanstral15119ba6b/","about":[],"mentions":[]},{"@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Stuff That Spins","item":"https://stuffthatspins.com/"},{"@type":"ListItem","position":2,"name":"Mistral released Leanstral-1.5-119B-A6B","item":"https://stuffthatspins.com/spin/mistral-released-leanstral-15-119b-a6b"}]}]}
---

# Mistral released Leanstral-1.5-119B-A6B

**Source:** Unknown  
**Published:** July 3, 2026  
**Original:** https://www.reddit.com/r/LocalLLaMA/comments/1umgdhx/mistral_released_leanstral15119ba6b/  

---
*HTML version: https://stuffthatspins.com/spin/mistral-released-leanstral-15-119b-a6b*