CEDAR: Automata as Verifiable Interfaces for Language-Guided Embodied Action
AI インサイト
CEDAR モデルは、環境事象の軌跡に関する通常の言語としてインテリジェントな命令制約を具体化し、その言語モデルを使用して意味論的な判断を行い、軌跡のエラー修正を実行し、最終的にスキルと仕様を決定論的な有限オートマトンとして表現します。 LLM エージェントの以前の自由形式プログラムと比較して、オートマトンは検証可能、構成可能、修復可能な安定したオブジェクトになり、制約を満たすための正式な保証を提供します。