Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
中文摘要
Pramaana Labs 从 Khosla Ventures 获 2700 万美元种子轮融资，旨在为法律、药物研发和税务等高敏感领域的 AI 提供形式化验证。
English Summary
Pramaana Labs raised $27M from Khosla Ventures to provide formal verification for AI in high-stakes sectors like law, drug discovery, and tax preparation.
Original Excerpt
Pramaana will focus on highly sensitive verticals like law, drug discovery, and tax preparation — where errors can be costly and reliability is at a premium.