SVTR 硅谷科技评论SVTR
← 创投库

Pramaana Labs

为高风险领域开发经形式化验证的AI系统,输出经证明引擎校验

申请对接官网 ↗
总融资 $27M📍 旧金山 · 硅谷成立于 2025

SVTR 市场位置

数据快照 2026-10-19
🔒 登录查看精确名次与前后位次

简介

Pramaana Labs,2025年成立于美国San Francisco,为税务、医疗、金融合规与政府政策等高风险领域开发经形式化验证的AI系统,让AI输出经证明引擎校验后给出可审查的证明。

★ SVTR 评级SVTR 已评估

完整档位与判定理由,SVTR Intelligence 会员可见

资本关系图

公司投资方创始人 / 团队合投(弧线越粗 = 一起出手越多次,×N 标次数)圈越大 = 综合信号越强(活跃/曝光/关注)· ⛶ 全屏 · 滚轮/双指缩放 · 悬停高亮 · 拖节点拉开 · 点节点跳档案

创始人 / 核心团队

投资方

融资历史

可比公司· 按市场分组

共同点业务描述相近 · 同赛道:优化测评

多数同为种子轮

仅用已确认融资;对标依据为同细分赛道、同赛道、同阶段与累计融资量级,均可在各公司档案核对。

可能匹配的投资方

Andreessen Horowitz

近24个月「优化测评」出手 13 笔 · 相近阶段 8 笔 · 同地区(硅谷)13 笔

申请对接 →

Y Combinator

近24个月「优化测评」出手 10 笔 · 相近阶段 8 笔 · 同地区(硅谷)9 笔

申请对接 →

Lightspeed

近24个月「优化测评」出手 8 笔 · 相近阶段 3 笔 · 同地区(硅谷)8 笔

申请对接 →

Felicis Ventures

近24个月「优化测评」出手 4 笔 · 相近阶段 3 笔 · 同地区(硅谷)4 笔

申请对接 →

Greylock Partners

近24个月「优化测评」出手 4 笔 · 相近阶段 1 笔 · 同地区(硅谷)4 笔

申请对接 →

Insight Partners

近24个月「优化测评」出手 4 笔 · 相近阶段 1 笔 · 同地区(硅谷)4 笔

申请对接 →

按投资机构近 24 个月在同赛道的出手记录推荐,叠加相近阶段与同地区。仅供参考,不含评级判断。

想对接「Pramaana Labs」——找资本、找订单、找合作?填一份简短申请,SVTR 团队评估后居间引荐,双方身份都经核实再见面。

申请对接这家公司订阅 Signal 周报