Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
Pramaana Labs raised $27M to build formal verification systems for high-stakes AI use cases where reliability is critical.
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.
Read at source: https://techcrunch.com/2026/06/17/pramaana-labs-raises-27-million-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai/