Simon Yu氏らは5月11日(現地時間)、メタエージェントの動作を関数として形式化する新たなプログラミングモデル「Shepherd（シェパード）」を発表した。このモデルは、メタエージェントと環境の全相互作用をTypedイベントとして記録し、Gitに類似した実行トレースを生成する。これにより、過去のいかなる状態も効率的に分岐および再現できるようになり、開発とデバッグの効率向上が期待される。
Shepherdは、メタエージェントがターゲットエージェントに対して実行する操作を関数として形式化する点を特徴としている。システムの中核をなす操作は、形式検証ツールLeanを用いて機械化されており、これにより堅牢性が確保されている。エージェントと環境間の全ての相互作用はTypedイベントとして記録され、開発者が慣れ親しんだGitのリポジトリと同様の実行トレースが自動的に生成される。
この機能により、Shepherdは過去の任意の時点の状態をフォーク（分岐）し、再現することを可能にする。具体的な性能として、エージェントプロセスとそのファイルシステムのフォーク速度は、既存の仮想化技術であるDockerと比較して5倍高速であると報告されている。また、再現時には95%以上のプロンプトキャッシュ再利用率を達成し、開発およびデバッグの効率向上に貢献する。
研究チームは、Shepherdモデルの有効性を3つの主要なアプリケーションで実証した。一つ目は、ランタイム介入の分野で、ライブスーパーバイザーがCooperBenchでのペアコーディング合格率を28.8%から54.7%に向上させることに成功した。二つ目は、反実仮想的メタ最適化において、分岐探索アルゴリズムが4つのベンチマークでベースラインを最大11ポイント上回り、実時間での処理を最大58%削減した。三つ目は、Tree-RLトレーニングの適用事例で、選択されたターンでのロールアウト分岐の活用により、TerminalBench-2の性能が34.2%から39.4%へと改善された。
これらの実証結果は、Shepherdがメタエージェントをプログラミングするための効率的かつ堅牢なインフラストラクチャとして機能することを示している。システムは将来の研究開発を支援するため、オープンソースとして公開されている。
参考: arXiv cs.AI — 2026年5月12日 02:50 (JST)
原文ハイライト"Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace"