Source
Leanstral 1.5: Proof Abundance for All
The most powerful AI platform for enterprises. Customize, fine-tune, and deploy AI assistants, autonomous agents, and multimodal AI with open models.
Show entities and relationshipsHide entities and relationships
In this article
Technologies
Products
Companies
Key connections
Leanstral 1.5 is built with CISPO
Leanstral 1.5 utilizes the CISPO reinforcement learning algorithm during its training stage.
CISPO is related to Reinforcement Learning
CISPO is an online reinforcement learning algorithm.
Leanstral 1.5 is built with Lean 4
Leanstral 1.5 is designed for proof engineering in Lean 4.
Leanstral 1.5 uses SafeVerify
Leanstral 1.5 proofs are verified for correctness using Mistral's fork of SafeVerify.
Mistral AI owns Leanstral 1.5
Mistral AI owns FLTEval
Show 1 more connectionsShow fewer connections
Mistral AI owns SafeVerify
Related events
Jul 2, 2026•60d ago
•Product ReleaseMistral releases Leanstral 1.5
Get the weekly recap
The stories like this one, picked and explained — once a week, straight to your inbox.