Tag: 形式化验证

All the articles with the tag "形式化验证".

• 8.7

  Mistral 发布 Leanstral：首个开源 Lean 4 证明助手模型

  2026年03月17日

  · Mistral AI· 03/17 13:52 采集

  Mistral AI 推出 Leanstral，一个专为 Lean 4 形式化验证设计的高效代码智能体，仅 6B 激活参数即可在证明工程任务中击败大型闭源模型。