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