キーワード解説
プログラム検証（Formal Verification）を用いたLLM推論結果の自動評価
形式手法であるプログラム検証の技術を応用し、LLMの推論結果が仕様や要件に合致しているかを自動的かつ厳密に評価する手法を解説します。
0 関連記事
プログラム検証（Formal Verification）を用いたLLM推論結果の自動評価とは
親クラスター「推論プロセスの改善」の解説より形式手法であるプログラム検証の技術を応用し、LLMの推論結果が仕様や要件に合致しているかを自動的かつ厳密に評価する手法を解説します。
このキーワードが属するテーマ
このキーワードに紐付く記事はまだありません