Tag: Lean
All the articles with the tag "Lean".
- 8.7
Mistral 发布 Leanstral：首个开源 Lean 4 证明助手模型
Mistral AI 推出 Leanstral，一个专为 Lean 4 形式化验证设计的高效代码智能体，仅 6B 激活参数即可在证明工程任务中击败大型闭源模型。
- 8.5
Leanstral：Mistral 发布首个开源 Lean 4 形式化证明 Agent
Mistral 推出 Leanstral，专为 Lean 4 形式化证明设计的代码 Agent，6B 活跃参数，Apache 2.0 开源，在 FLTEval 基准上超越 Claude Sonnet