Startups

Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI

By Garp EditorialJune 22, 2026

1 min read Section: Startups Publisher: Garp

Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal…

TechCrunch 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.

Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI

Related Coverage

WhatsApp gets new chief as Meta taps India’s CRED founder Kunal Shah, and invests $900M in startup

Probably raises $9M to build a more reliable kind of AI

Jeff Bezos’ AI startup Prometheus closes $12 billion round at a $41 billion valuation

Here’s what Jeff Bezos’ new startup Prometheus will do