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

Pramaana Labs raises $27M seed from Khosla Ventures to apply formal verification to AI outputs in law, drug discovery, and tax preparation.