Mistral AI·· 2026-07-02精选AI 评分72
Mistral 发布 Leanstral 1.5 形式化推理模型
Leanstral 1.5: Proof Abundance for All
AI 导读
Mistral 发布 Leanstral 1.5，一款 6B 激活参数的开源形式化推理模型，在 miniF2F、PutnamBench 和 FATE-H/X 基准上刷新 SOTA。该模型通过长上下文推理在代码验证中发现多个隐藏 Bug，并提供免费 API 与 Hugging Face 权重。
推荐理由
在形式化验证基准上刷新SOTA且成本极低，展示了长上下文推理在代码验证中的实际效用。
来源：Mistral AI · mistral.ai