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

> **Platform:** [SPIDITS AI](https://spidits.com/) — Real-Time AI News & Market Intelligence  
> **Published:** 2026-06-17T14:15:22.000Z  
> **Category:** FUNDING  
> **Impact Score:** 140/100  
> **Primary Source:** [TechCrunch Startups](https://techcrunch.com/2026/06/17/pramaana-labs-raises-27-million-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai)  
> **Canonical Citation:** [https://spidits.com/timeline/pramaana-labs-raises-27m-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai](https://spidits.com/timeline/pramaana-labs-raises-27m-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai)

## Executive Summary
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.

## Referenced Coverage & Sources
- **[TechCrunch Startups](https://techcrunch.com/2026/06/17/pramaana-labs-raises-27-million-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 — _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._

---
*Synthesized by SPIDITS AI Market Intelligence Desk. Track live AI news, model releases, and funding: [https://spidits.com](https://spidits.com)*