模型产品线发布时间线
各产品线的代际演进 · 圆点 = 单个模型发布 · 虚线串联同产品线各代 · 点击圆点打开模型详情
模型数
1
时间跨度
0天
平均发布间隔
—
发布的大模型
共 1 个模型Logical Intelligence发布的大模型，按类型分组，共 1 个类别
推理大模型
1 个模型机构介绍
Logical Intelligence 研发可构造机器可检验形式化证明的 AI 系统 Aleph Prover，面向形式化验证与可验证代码生成。
各产品线的代际演进 · 圆点 = 单个模型发布 · 虚线串联同产品线各代 · 点击圆点打开模型详情
Logical Intelligence发布的大模型，按类型分组，共 1 个类别
Logical Intelligence 研发可构造机器可检验形式化证明的 AI 系统 Aleph Prover，面向形式化验证与可验证代码生成。