Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI (techcrunch.com)

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.