The Money TrailJune 17, 2026via TechCrunch AI
Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
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.
Key signals
- Pramaana 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
The hook
$27M. Khosla Ventures backs Pramaana Labs to solve AI's biggest liability: proving correctness in law, drugs, and taxes.
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.