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

Pramaana Labs, a startup focused on improving AI reliability, has raised $27 million in seed funding from Khosla Ventures. The company announced the round on June 17, 2026, with plans to use formal verification tools to reduce errors in AI systems.

The company targets high-stakes sectors where AI errors have serious consequences, including law, drug discovery, and tax preparation. Formal verification uses mathematical proofs to check system behavior, a method traditionally used in hardware verification. Pramaana Labs aims to apply this approach to the probabilistic models common in AI, particularly large language models.

Khosla Ventures, a venture capital firm known for backing early-stage technology companies, led the seed round. No other investors were named. The company did not disclose details about its product roadmap or revenue. The seed round is among the larger ones for a startup focused on formal verification of AI systems. The investment reflects growing interest in methods to improve AI trustworthiness.