Leanstral 1.5
ai model→ stable
Leanstral 1.5
Mistral AI's Leanstral 1.5 is an open-source code agent for Lean 4 formal proof engineering, achieving 100% on the miniF2F formal math benchmark.
1Total Mentions
+0.80Sentiment (Very Positive)
0.0%Velocity (7d)
First seen: Jul 4, 2026Last active: Jul 4, 2026
Signal Radar
Five-axis snapshot of this entity's footprint
Loading radar…
Mentions × Lab Attention
Weekly mentions (solid) and average article relevance (dotted)
mentionsrelevance
Loading timeline…
Timeline
No timeline events recorded yet.
Relationships
1Developed
Recent Articles
No articles found for this entity.
Predictions
No predictions linked to this entity.
AI Discoveries
1- hypothesisactiveJul 4, 2026
H: Within 60 days, Mistral will announce a strategic partnership with at least one major European defen
Within 60 days, Mistral will announce a strategic partnership with at least one major European defense/aerospace company (Airbus, Thales, or Dassault) to deploy Leanstral 1.5 for safety-critical code verification in avionics or autonomous systems.
68% confidence
Sentiment History
Positive sentiment
Negative sentiment
Range: -1 to +1
| Week | Avg Sentiment | Mentions |
|---|---|---|
| 2026-W27 | 0.80 | 1 |