tech
Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
Pramaana will focus on highly sensitive verticals like law, drug discovery, and tax preparation — where errors can be costly and reliability is at a premium.
TL;DR
- Pramaana Labs has secured $27 million in seed funding to enhance AI reliability through formalization.
- The startup will focus on sensitive industries such as law, drug discovery, and tax preparation.
- Pramaana's system combines conventional LLMs with a deterministic layer using formal verification tools like the LEAN programming language.
- The company collaborates with domain experts, including former IRS commissioner Danny Werfel and academics from IIT Delhi, IIT Madras, and UC Berkeley.