Pramaana Labs 获 2700 万美元种子轮融资，用形式化验证提升 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.