Leanstral 1.5发布
Th0rgal_ · x · 2026-07-10
Leanstral 1.5 发布，为一个面向 Lean 4 形式化证明工程的开源模型，参数 119B、激活 6B，Apache-2.0 许可并提供免费 API 和 Hugging Face 权重。
Th0rgal_ · x · 2026-07-10
Leanstral 1.5 发布，为一个面向 Lean 4 形式化证明工程的开源模型，参数 119B、激活 6B，Apache-2.0 许可并提供免费 API 和 Hugging Face 权重。