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

Pramaana Labs has secured $27 million in seed funding to apply formal verification techniques to AI outputs in high-stakes domains including law, drug discovery, and tax preparation — fields where errors carry serious consequences for real people. The approach is a meaningful departure from the probabilistic tolerance that characterises most current AI deployment, and its focus on verifiability rather than confidence scores is intellectually serious. Whether the method scales to the complexity of these domains remains to be demonstrated, but the directional instinct is sound.