Mistral AI 发布 Leanstral 1.5 形式化推理模型

Mistral AI 发布 Leanstral 1.5，这是一个采用 Apache-2.0 许可、6B 活跃参数的免费开源推理模型，在 miniF2F、PutnamBench、FATE-H 和 FATE-X 等基准上达到领先水平。模型通过中期训练、SFT 及基于 CISPO 的强化学习训练，并在 Lean 4 形式化验证和真实仓库代码验证中展示能力。