SAN FRANCISCO, June 18, 2026 (GLOBE NEWSWIRE) --

Pramaana Labs, building the layer that takes AI from probably right to provably right, has raised $27 million in seed funding led by Khosla Ventures, with Accel and additional investors.

Pramaana is the first company to apply formal verification to commercial, high-stakes domains at scale. In tax, law, healthcare, finance, and government, AI still cannot stand behind its own answers. A doctor still reads the diagnosis. A lawyer still checks the brief. A CPA still signs the return. Not because the AI is too slow. Because when it is wrong in a regulated domain, it cannot be held responsible. Pramaana removes that constraint.

The system converts complex knowledge into machine-verifiable truth. First, Pramaana encodes the actual rules of a domain, the US tax code, clinical protocols, and financial regulations into a formal language that a machine can reason over with mathematical certainty. When a user asks a question, the system translates that question into a formal statement, runs ...