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.
Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
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.
Cite this article
HTML citation
<a href="https://desdunia.com/startups/pramaana-labs-raises-27m-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai" target="_blank" rel="nofollow noopener">Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI</a> (Desdunia, 2026-06-17)
Markdown citation
[Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI](https://desdunia.com/startups/pramaana-labs-raises-27m-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai) — Desdunia (2026-06-17)
Plain URL
https://desdunia.com/startups/pramaana-labs-raises-27m-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai
Embed code
<blockquote cite="https://desdunia.com/startups/pramaana-labs-raises-27m-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai">Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI</blockquote>
<p>Source: <a href="https://desdunia.com/startups/pramaana-labs-raises-27m-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai" target="_blank" rel="nofollow noopener">Desdunia</a></p>