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

Pramaana Labs has secured a $27 million seed investment from Khosla Ventures to develop formal verification methods for artificial intelligence systems. The startup intends to target high‑stakes domains such as law, drug discovery, and tax preparation, where errors can be costly and reliability is paramount.

Summary written by Kernelia from the original article by TechCrunch AI. The story and its rights belong to its author.