Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI (opens original article in a new tab)

Pramaana Labs secured $27 million in seed funding to develop AI systems with formal verification, focusing on reliability in critical sectors like law and tax.

• Pramaana Labs raised $27M seed funding led by Khosla Ventures
• Pramaana uses formal verification with LLMs to improve AI reliability in sensitive areas
• Pramaana collaborates with domain experts to codify rules in tax, drug discovery, and cybersecurity