論文の概要: PatchOptic for Shared-State LLM Workflows with Projected Views and Verified Structured Updates

• arxiv url: http://arxiv.org/abs/2607.05483v1
• Date: Mon, 06 Jul 2026 16:13:56 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-08 21:24:51.279
• Title: PatchOptic for Shared-State LLM Workflows with Projected Views and Verified Structured Updates
• Title（参考訳）: 予測ビューと検証された構造化更新を備えた共有状態LLMワークフローのためのパッチオプティマイザ
• Abstract要約: ローカルな更新とグローバルな妥当性の契約であるPatchOpticを紹介します。 各ワークフローステップは、プロジェクションされた読み込みビュー、承認された書き込みリージョン、パッチソースリージョンを宣言する。 この設計をPatchBenchで評価した。PatchBenchは、報告されたリークとトークンコストの46ケースのベンチマークである。
• 参考スコア（独自算出の注目度）: 0.013714053458441644
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Agentic workflows often operate over shared, structured state. Because LLM context windows are limited, each model invocation is typically shown only the state fragment needed for the current workflow step, a pattern commonly known as progressive disclosure. Modern systems construct such model-facing views using grep-like keyword search, retrieval-augmented generation (RAG), abstract-syntax-tree (AST) queries, and task-specific agent skills. These methods make the read side manageable, but they do not define when a locally proposed rewrite is valid after it is applied back to the full state. The missing piece is a contract between local updates and global validity. We introduce PatchOptic, an optic-inspired interface for shared-state LLM workflows. Optics are compositional bidirectional accessors that describe how views of structured data are read and updated. PatchOptic borrows this view/update intuition and realizes it through projected reads and verified structured patches. Each workflow step declares a projected read view, an authorized write region, and a patch-source region. Beyond runtime enforcement, the same declaration yields a path-level footprint that supports delegation, sub-workflow composition, and static certificates for reordering independent steps within the same phase. We evaluate this design with PatchBench, a benchmark with 46 cases across domains. The results show that projected reads reduce reported leakage and token cost while preserving accepted-output quality under the strong actor. Runtime verification blocks declared workflow-contract violations before commit, and patch-read enforcement rejects compromised patch artifacts that use hidden sources.
• Abstract（参考訳）: エージェントワークフローは、しばしば共有された構造化状態上で実行される。 LLMコンテキストウィンドウは制限されているため、各モデルの実行は通常、現在のワークフローステップに必要な状態フラグメントのみを表示する。 現代のシステムでは、grep-likeキーワード検索、検索拡張生成(RAG)、抽象構文木(AST)クエリ、タスク固有のエージェントスキルを用いて、このようなモデル対応ビューを構築している。 これらのメソッドは読み取り側を管理可能にするが、ローカルに提案された書き換えが完全な状態に戻された後に有効になるかどうかを定義しない。 欠けているのは、ローカルアップデートとグローバルな妥当性の契約だ。 PatchOpticは、共有状態LLMワークフローのための光学的にインスパイアされたインタフェースである。 光学は、構造化データのビューの読み出しと更新方法を記述する合成双方向アクセサである。 PatchOpticはこのビュー/アップデートの直観を借用し、プロジェクションされた読み込みと検証された構造化パッチを通じてそれを実現する。 各ワークフローステップは、プロジェクションされた読み込みビュー、承認された書き込みリージョン、パッチソースリージョンを宣言する。 実行時の実施以外にも、同じ宣言では、同じフェーズ内で独立したステップを順序付けするためのデリゲート、サブワークフローコンポジション、静的証明書をサポートするパスレベルのフットプリントが生成される。 この設計をPatchBenchを用いて評価した。 その結果,プロジェクションされた読み取りは,強いアクターの下で出力品質を保ちながら,報告されたリークやトークンコストを低減できることがわかった。 実行時検証ブロックはコミット前にワークフロー契約違反を宣言し、パッチ読み取りの強制は、隠されたソースを使用する妥協されたパッチアーティファクトを拒否する。

関連論文リスト

• Don't Let the Model Write the YAML: Deterministic, Minimal-Diff GitOps Remediation from LLM-Proposed Field Changes [0.0]
  GitOpsでは、モデル作者に編集されたファイルや差分を持てば、最初に実践者が到達できる。 ファイルを編集する構文的行為から意味的決定(リソース、フィールド、値)を分離する代替案を提案する。 ファイルは再シリアライズされないため、diffは構成によって最小限であり、編集はモデルから独立して正確で決定論的である。
  論文  参考訳（メタデータ） (2026-08-31T18:37:12Z)
• Natural-Language Workflows Are Not Software Yet: Artifact-Driven Compilation for Reliable Agent Execution [23.207195503032136]
  Articはアーティファクト駆動のワークフローコンパイラで、自然言語ワークフローをアーティファクト駆動のワークフローに変換する。 Articによるコンパイルでは、クロスモデルや繰り返し実行設定において、32と56のパーセンテージがより一貫性があることが示される。
  論文  参考訳（メタデータ） (2026-08-21T17:47:47Z)
• RepoReasoner: Evaluating Repository-Level Code Reasoning Ability of Long-Context Language Models [54.53236295237077]
  リポジトリレベルのコード推論を評価するベンチマークであるRepoReasonerを紹介します。 出力予測は、ファイル間でのきめ細かいステートフルな実行推論を計測します。 Call Chain Predictionは、ノイズの多いコンテキスト下での高レベルのアーキテクチャ依存性の理解を評価する。
  論文  参考訳（メタデータ） (2026-07-28T17:12:41Z)
• The Patchwork Problem in LLM-Generated Code [3.4562767039451674]
  本稿では,リポジトリアーティファクトのグラフ表現に対する一貫性不変量として構造コヒーレンスを定式化する。 2つのフロンティアモデルに対する実証的な評価によると、構造的失敗の大部分は、型チェック、テスト、SASTを完全に回避している。
  論文  参考訳（メタデータ） (2026-07-09T23:01:54Z)
• Beyond Summaries: Structure-Aware Labeling of Code Changes with Large Language Models [0.0]
  本稿では,コードパッチにおけるコード変更の分類に基づくラベル付けに,大規模言語モデル(LLM)を用いた体系的研究を行う。 我々のアプローチでは、従来の分析パイプラインのエンジニアリングオーバーヘッドを伴わずに、言語に依存しない、カスタマイズ可能なラベルを生成するために、数発のプロンプトを採用しています。
  論文  参考訳（メタデータ） (2026-05-25T17:56:46Z)
• ATLAS: Agentic or Latent Visual Reasoning? One Word is Enough for Both [55.182037225013836]
  ATLASは、単一の独立した「ワード」を機能トークンと呼び、エージェント操作と潜在視覚推論ユニットの両方として機能するフレームワークである。 ATLASは、明確な解釈可能性を維持しながら、挑戦的なベンチマークで優れたパフォーマンスを達成する。
  論文  参考訳（メタデータ） (2026-05-14T17:59:55Z)
• DocSync: Agentic Documentation Maintenance via Critic-Guided Reflexion [0.0]
  DocSyncは、ドキュメントのメンテナンスを構造的に基盤付けられた反復的な生成タスクとしてフレーム化するエージェントワークフローである。 LoRA適応小言語モデルを用いたDocSyncの資源制約実装を実証的に評価する。 このAST対応エージェントアプローチが標準エンコーダ・デコーダのベースラインを大幅に上回ることを示す。
  論文  参考訳（メタデータ） (2026-05-04T02:41:33Z)
• GALA: Multimodal Graph Alignment for Bug Localization in Automated Program Repair [40.228155198574356]
  本稿では,マルチモーダル自動プログラム修復(APR)を暗黙的な意味的推測から明示的な構造的推論に移行するフレームワークであるGALAを提案する。 GALAは、まずイメージUIグラフを構築して、視覚要素とその構造的関係をキャプチャし、続いて、このUIグラフをリポジトリレベルの構造と相互参照することで、ファイルレベルのアライメントを実行する。 モダリティ間のセマンティクスとリレーショナルの整合性を強制することにより、GALAは高度に正確なビジュアル・ツー・コードマッピングを確立する。
  論文  参考訳（メタデータ） (2026-04-09T11:06:25Z)
• PaperDebugger: A Plugin-Based Multi-Agent System for In-Editor Academic Writing, Review, and Editing [35.392342990789324]
  Paper Debuggerは、インエディター、マルチエージェント、プラグインベースの学術書記アシスタントである。 デモでは、ローカライズされた編集、構造化されたレビュー、並列エージェントの実行、diffベースの更新など、完全に統合されたワークフローを紹介しました。
  論文  参考訳（メタデータ） (2025-12-02T10:00:37Z)
• Patch-as-Decodable-Token: Towards Unified Multi-Modal Vision Tasks in MLLMs [88.68484904214142]
  Patch-as-Decodable Token (PaDT)を導入し、テキストと多様な視覚出力を生成する。 PaDTの中心は、クエリイメージのビジュアルパッチ埋め込みから派生したVisual Reference Tokens (VRT)である。 MLLMモデルと比較しても,PaDTは最先端の性能を一貫して達成できることを示す。
  論文  参考訳（メタデータ） (2025-10-02T12:23:57Z)
• Detecting Post-generation Edits to Watermarked LLM Outputs via Combinatorial Watermarking [51.417096446156926]
  ウォーターマークされたLCM出力に局所的に編集されたポストジェネレーションの編集を検出する。 本稿では,語彙を部分集合に分割し,透かしを埋め込むパターンベースの透かしフレームワークを提案する。 本手法は,様々な編集シナリオにおけるオープンソースのLCMについて評価し,編集ローカライゼーションにおける強力な経験的性能を示す。
  論文  参考訳（メタデータ） (2025-10-02T03:33:12Z)
• SwingArena: Competitive Programming Arena for Long-context GitHub Issue Solving [90.32201622392137]
  We present SwingArena, a competitive evaluation framework for Large Language Models (LLMs)。 従来の静的ベンチマークとは異なり、SwingArenaはLLMをイテレーションとして組み合わせて、テストケースを作成し、継続的インテグレーション(CI)パイプラインを通じてパッチを検証するパッチとレビュアーを生成することで、ソフトウェアのコラボレーションプロセスをモデル化する。
  論文  参考訳（メタデータ） (2025-05-29T18:28:02Z)
• TextRefiner: Internal Visual Feature as Efficient Refiner for Vision-Language Models Prompt Tuning [16.881957688535557]
  TextRefinerは、既存のメソッドのテキストプロンプトを洗練するためのプラグイン・アンド・プレイメソッドである。 きめ細かいビジュアル概念をカプセル化する新しいローカルキャッシュモジュールを構築している。 最先端のパフォーマンスを実現し、推論で効率的である。
  論文  参考訳（メタデータ） (2024-12-11T08:07:12Z)
• Editing Arbitrary Propositions in LLMs without Subject Labels [88.67755930096966]
  GT(Gradient Tracing)と呼ばれるシンプルで高速なローカライゼーション手法を提案する。 GTは、単にバイナリではなく任意の命題を編集できる。 提案手法は, 対象ラベルにアクセスせずに, 対象ラベルを持つ最先端のL&E手法に近い動作を行うことを示す。
  論文  参考訳（メタデータ） (2024-01-15T08:08:24Z)
• Context Autoencoder for Self-Supervised Representation Learning [64.63908944426224]
  符号化された表現空間で予測を行うことにより、符号化器を事前訓練する。 ネットワークはエンコーダ/レグレッサ/デコーダアーキテクチャである。 下流タスクにおける転送性能の向上によるCAEの有効性を実証する。
  論文  参考訳（メタデータ） (2022-02-07T09:33:45Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。