Imandra Inc.とは何ですか?

Imandra は、AI に論理的推論機(jī)能を提供する、サービスとしての推論プラットフォームです。

Imandra Inc.の使い方は？

Imandra を使用するには、PIP3 から Python ライブラリをインストールし、アカウントを作成して、Imandra ライブラリを Python にインポートします。

Imandra Inc. のコア機(jī)能

自動(dòng)論理推論

形式検証

領(lǐng)域分解

記號(hào)推論

ルール合成

Imandra Inc. の使用例

大規(guī)模言語(yǔ)モデル (LLM) のメンタル モデルの構(gòu)築

引數(shù)と結(jié)果の形式的検証

監(jiān)査可能な論理推論

Imandra Inc. サポート メール、カスタマー サービスの連絡(luò)先、返金連絡(luò)先など

カスタマー サービスの Imandra Inc. サポート メールは次のとおりです: [email protected] 。さらに連絡(luò)するには、お問(wèn)い合わせページにアクセスしてください(mailto:[email protected]?subject=Contact request&body=こんにちは, 私は ... from ... please contact me at:% 20... 電話/メール。)