MoneyThe story, in brief
Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
$27M. Khosla Ventures backs Pramaana Labs to solve AI's biggest liability: proving correctness in law, drugs, and taxes.
The KeyNews take
Why it matters
Formal verification for AI is moving from academic curiosity to funded startup reality, targeting high-stakes verticals where model hallucinations carry material legal and financial risk. This signals investor confidence that AI safety/correctness tech is now a standalone business category.
The key facts
5 to knowPramaana Labs closes $27M seed round
Led by Khosla Ventures
Focus verticals: law, drug discovery, tax preparation
Use case: formal verification to prevent costly errors in sensitive domains
Published June 17, 2026
Go to the source
TechCrunch AItechcrunch.com
Publisher 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.