形式手法でAIのハルシネーションを抑制する：AWSのAutomated Reasoning checks を試してみた

CRANK

形式的な検証技術を応用し、ハルシネーションの発生を抑制する新しいサービス「Automated Reasoning checks」が先日 AWS 上で GA されました。本記事では、この 「Automated Reasoning checks」を実際に試してみた内容を、検証結果とあわせてご紹介します。