arXiv論文「SAGE」、LLMタスクプランナー向けの符号化ゲートと局所編集を提案

何が起きたか

arXivは2026-09-28、LLMタスクプランナー向けの論文「SAGE: Symbolic Action-Gating and Editing for LLM Task Planners」を公開した。論文は、約250行のPythonで実装されたドメイン非依存の記号的ゲートと、失敗した部分目標の末尾だけを再生成する局所編集を組み合わせた単一LLMプランナーを提案している。評価は、リークのないプロトコルと5つのオープンウェイトモデル、75タスクのAI2-THORベンチマークで行われた。

詳細

SAGEの記号的ゲートはゼロトークン、計算量はO(|π|)とされ、前提条件に違反する行動を実行前に止め、型付きの理由を返す安全モニターとして動く。局所編集は、完了済みの作業と未変更部分を保持したまま、失敗した部分目標の末尾だけを再生成する仕組みである。加えて、コールドスタートを補うためのハイブリッドなseed+live memory storeを備える。 評価では、標準ベンチマークではゴール完全性が飽和し、52%のインスタンスが自明に解ける一方、SAGEは強い階層型ベースラインに並んだ。より難しい、手法非依存の多目標合成では、4つのモデルで完全性の優位が+0.06から+0.23の範囲で再び現れた。中途失敗を注入した条件では、SAGEは全体計画の再プランニングに比べて2.4〜3.3倍少ないLLM呼び出しで同程度に回復した。シンボリック・モニターは、アクチュエーション前に危険な行動をブロックし、検証対象のすべてのプランナーでシミュレーター報告のステップ成功率を最大+0.11引き上げたとしている。ゲートはモデルを呼ばず、0.008ms/planで動作するとされ、Jetson AGX Orin上でも品質を再現した。

Key Facts

本紙の見方

SAGEの新規性は、LLMに計画を丸ごと任せるのではなく、実行前の記号的ゲートと失敗後の局所編集を同じプランナーの中に入れた点にある。単なる再生成ではなく、前提条件違反をゼロトークンのゲートで止め、失敗した部分だけを書き換える構成は、探索のやり直しを減らす設計として読める。一方で、単一LLMプランナーという枠組み自体は既定路線の延長でもあり、既存のプランニングを置き換えるというより、実行前検査と部分修復を足した改良版とみるのが自然である。 ただ、論文中でも標準ベンチマークでは52%のインスタンスが自明に解け、性能差が見えにくいとされており、評価の設計そのものが論点になっている。つまり、SAGEの価値は「何点か上がったか」より、リークのないプロトコルで、失敗回復と安全ゲートを切り分けて測った点にあるといえる。 業界構造への含意としては、まずエッジ実行の安全層をモデル外に置けるかが焦点になる。ゲートが0.008ms/planで、Jetson AGX Orinでも品質を再現したという結果は、重いLLMを前提にしない家庭内エージェントやロボット制御の設計に影響しうる。加えて、ハイブリッドなseed+live memory storeは、コールドスタート時の不足を埋めるデータ層として働くため、今後はメモリの更新方法、部分失敗時の再生成範囲、ベンチマーク外の一般環境での頑健性が確認点になる。特に、AI2-THOR以外で前提条件の表現が変わった場合に同じ型付き遮断が効くのか、また安全ゲートがどの程度の誤遮断を生むのかは、実運用上の論点である。

なぜ重要か

論文が示したのは、LLMプランナーの弱点をモデル大型化だけで埋めず、実行前の遮断と局所修復を別層として持たせる設計である。AI2-THORでの+0.06〜+0.23の完全性改善や、2.4〜3.3倍少ないLLM呼び出しという結果は、家庭内エージェントやロボット制御で計算量と安全性の両立を考える際の具体的な材料になる。

日本への影響

Jetson AGX Orinでの再現性が示されたため、国内の組み込み機器やエッジ計算を使うロボット分野では、重いクラウド推論に頼らないプランニング設計の選択肢になりうる。もっとも、本文が示すのはAI2-THORとALFWorld由来の評価であり、日本国内の実環境や日本語指示で同じ挙動が出るかは別途確認が必要である。