#pramaana labs のAIニュース

Pramaana Labs が Khosla Ventures からシードラウンドで 2700 万ドルを調達し、AI の形式検証を実現へ

Pramaana Labs は Khosla Ventures などから 2700 万ドルの資金調達に成功し、AI システムの信頼性を高めるための形式検証技術の実用化を進める。