Leanstral
面向 Lean 4 形式化数学与计算机辅助定理证明的专用开源基础大模型。
Mistral AI 于 2026-03-11 Mistral AI 开源定理证明与形式化数学大模型 Leanstral。
关键参数
- 形式化数学
- Lean 4 定理证明
- Apache-2.0
- 开源权重
Leanstral
面向 Lean 4 形式化数学与计算机辅助定理证明的专用开源基础大模型。
Mistral AI 于 2026-03-11 Mistral AI 开源定理证明与形式化数学大模型 Leanstral。