Pramaana Labs 已获得 2700 万美元种子轮融资，由 Khosla Ventures 领投，用于开发具有形式验证功能的 AI 系统。该公司旨在提高法律、药物发现和税务准备等高风险领域的可靠性，在这些领域中错误可能导致严重后果。Pramaana 的方法将传统的 LLM 与确定性验证层相结合，利用通常用于数学证明的 LEAN 编程语言的工具，以确保 AI 输出的准确性和可信度。 AI
影响 增强了关键领域的 AI 可靠性，有可能加速企业在敏感应用中采用 AI。
排序理由 初创公司融资公告，采用了新颖的技术方法来提高 AI 可靠性。
- Accel
- Boldcap
- Khosla Ventures
- LEAN
- Nexus Venture Partners
- Pramaana Labs
- Premji Invest
- Ranjan Rajagopalan
- Unbound
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →