Pramaana Labs, which uses the LEAN programming language to build a deterministic verification layer on top of LLMs, raised a $27M seed led by Khosla Ventures
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.