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

For each use case, Pramaana will build its own LEAN-style formal verification system, overseen by domain experts. For tax law, the company is working with former IRS commissioner Danny Werfel, while professors from IIT Delhi, IIT Madras, and UC Berkeley oversee the cybersecurity and drug discovery system.

“The world’s hardest problems are not unsolvable. They are unformalized,” says Rajagopalan. “Every domain where being wrong can cost someone their health, money, or freedom has rules.”

Now, those rules just need to be codified.