Beatingによると、AI形式検証のスタートアップであるPramaana Labsは、Khosla Venturesが主導し、Accel、BoldCap、Nexus Venture Partners、Premji Invest、Unboundが参加した$27 millionのシードラウンドを完了しました。 同社は、数学的定理を検証するためのオープンソースのプログラミング言語であるLEANを使用して、法、医薬品開発、税務コンプライアンスといった高リスクな業界向けに、大規模言語モデルの上に決定論的な検証レイヤーを構築しています。
Pramaanaは、税務アプリケーションのために元アメリカ国税庁（IRS）コミッショナーのDanny Werfelと協力しており、サイバーセキュリティおよび医薬品開発の検証システムについては、IITデリー、IITマドラス、UCバークレーの教授陣と連携しています。
