#ai-reliability

TechCrunch AI·6月17日 22:15 UTC

Pramaana 融资 2700 万美元做可验证 AI

Pramaana Labs 宣布完成 2700 万美元种子轮融资，由 Khosla Ventures 领投，Accel、BoldCap、Nexus Venture Partners、Premji Invest 和 Unbound 参投。该公司表示，将把形式化验证用于法律、药物发现和税务申报等高敏感企业场景，以提升 AI 的可靠性。