Leanstral 1.5
模型概览
labs-leanstral-1-5
面向 Lean 4 形式化证明的实验模型。
推理代码长上下文评测代码生成benchmark reference
代表版本
labs-leanstral-1-5
| 公司 | Mistral AI |
|---|---|
| 发布时间 | 2026-06-30 |
| 发布类型 | 模型发布 |
| 参数 | 未公开 |
| 架构 | 未公开 |
| 上下文 | 262,144 |
| 输入模态 | text / code |
| 输出模态 | text / code |
| 工具调用 / 函数调用 | 未公开 |
| 结构化输出 / 推理 | 已确认: Reasoning |
| 视觉 / 音频 / 视频 | 未公开 |
| 开源权重 / License | 无开放权重 / License 不适用 mistral-leanstral-1-5-current · 许可不适用 |
| 厂商 API | 可用 Mistral Docs changelog — June 30mistral-leanstral-1-5-current · 2026-06-30 |
| OpenRouter | OpenRouter 未单独列出 |
| 价格 | 查看官方价格页 |
| Benchmark | 暂无可靠公开来源 |
| 公开信号 | 暂无可靠公开来源 |
| 典型场景 | 评测与研究 / 评测 / 代码生成 / 复杂推理 |
| 逐条证据 | 发布事件Mistral Docs changelog — June 30labs-leanstral-1-5 · 2026-06-30 模型规格 / 权重Leanstral 1.5 model cardLeanstral 1.5 · labs-leanstral-1-5 |
OpenRouter
价格 / 上下文 / 可用性
来源缺口
公开展示边界
参数规模未公开OpenRouter 未单独验证暂无可靠 Benchmark 来源暂无公开模型卡活动计数暂无可链接真实评价速度/延迟未公开