AI 资本情报
Pramaana Labs 融资历史与投资方
Pramaana Labs是一家将形式验证引入人工智能的初创公司，专注于法律、药物发现和税务准备等高敏感领域，通过结合大语言模型与基于LEAN编程语言的确定性验证层，确保AI推理符合已编码的规则和逻辑。
本站收录 Pramaana Labs 的 1 条融资披露。日期、轮次、币种与来源以各条记录为准，不代表企业全部融资历史。
最新收录融资速览
本站收录的 Pramaana Labs 最新融资披露为 2026-06-17：种子轮，2700 万美元；已披露投资方为 Khosla Ventures、Accel、BoldCap、Nexus Venture Partners、Premji Invest、Unbound。这是本库最新记录，不代表企业全部融资。
融资披露与证据
| 融资披露日 | 轮次 | 披露金额 | 已披露投资方 | 核验来源 |
|---|---|---|---|---|
| 种子轮 | 2700 万美元 | Khosla Ventures、Accel、BoldCap、Nexus Venture Partners、Premji Invest、Unbound | 融资事实 · 原始来源 1 · 原始来源 2 · 原始来源 3 |
已记录融资披露
- Pramaana Labs2026-06-17 · 种子轮 · 2700 万美元
收录轮次中的已披露投资方
公开披露的创始团队
- Ranjan Rajagopalan · 联合创始人兼CEO