Leanstral 1.5: Proof Abundance for All
- Trained through mid-training, supervised fine-tuning, and reinforcement learning with CISPO, it excels in agentic proof engineering and real-world code verification, uncovering 5 previously unknown bugs across 57 repositories tested.
- Fully open-sourced and available via Hugging Face and a free API, Leanstral 1.5 is
Unverified
- Trained through mid-training, supervised fine-tuning, and reinforcement learning with CISPO, it excels in agentic proof engineering and real-world code verification, uncovering 5 previously unknown bugs across 57 repositories tested.
- Fully open-sourced and available via Hugging Face and a free API, Leanstral 1.5 is
Sources: Mistral