Pramaana LabsはKhosla Venturesから2700万ドルのシードラウンドを調達し、AIに形式検証を導入するために

Pramaanaは法律、薬の発見、税務準備などの非常に感度の高い垂直市場に焦点を当て、エラーが高価で信頼性が重要な分野において注目されています。

概要は情報提供のみを目的としてまとめられています。全文についてはソース リンクを参照してください。デモのエントリは一例です。