論文の概要: Making Task Abstractions Executable: Control-Aware Layout Repair for a Fixed Controller

• arxiv url: http://arxiv.org/abs/2610.10281v1
• Date: Wed, 07 Oct 2026 15:45:46 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-08 21:58:23.012376
• Title: Making Task Abstractions Executable: Control-Aware Layout Repair for a Fixed Controller
• Title（参考訳）: タスク抽象化の実行を可能にする: 固定コントローラの制御対応レイアウト修復
• Abstract要約: タスク抽象化は、意図したイベントを指定できるが、その二次的なレイアウトは、固定エージェントとコントローラがそれを完了するのを防ぐ。 タスク全体のトラッキング、クリアランス、アクティベーション要件を監査可能なアフィンレイアウト制約にコンパイルする。
• 参考スコア（独自算出の注目度）: 16.785597994214637
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: A task abstraction can specify the intended events while its spatial layout prevents a fixed agent and controller from completing them. Starting from a supplied structured task record, we compile whole-task tracking, clearance, and actuation requirements into auditable affine layout constraints. We repair only declared continuous coordinates, preserving event order, timing, topology, and the controller. A most-violated-row update admits conditional finite-certification and net-displacement bounds; a same-compiler quadratic projection separates the representation from the optimizer. On three researcher-authored task abstractions, both backends certify all three layouts and complete all 300 fresh paired rollouts per backend. A risk-target sweep also exposes fixed event tests that the chosen certificate cannot satisfy through layout edits alone.
• Abstract（参考訳）: タスク抽象化は意図したイベントを指定できるが、その空間的レイアウトは固定エージェントとコントローラがそれを完了するのを防ぐ。 提供された構造化タスクレコードから、全タスク追跡、クリアランス、アクティベーション要求を監査可能なアフィンレイアウト制約にコンパイルする。 宣言された連続座標のみを修復し、イベント順序、タイミング、トポロジ、コントローラを保存する。 最も違反されたrow更新は条件付き有限検定とネット置換境界を認め、同じコンパイラの二次射影はオプティマイザから表現を分離する。 研究者が承認した3つのタスク抽象化では、両方のバックエンドが3つのレイアウトをすべて認証し、バックエンド毎の300の新たなロールアウトをすべて完了している。 リスクターゲットスイープは、レイアウトの編集だけでは、選択された証明書が満足できない固定されたイベントテストを公開する。

関連論文リスト

• Before They Can Solve: Predicting Post-Training Coding-Agent Performance from Base Models [87.94969284553706]
  エンド・ツー・エンドのpass@$K$は、成功した振る舞いがベースモデルのディストリビューションにすでに現れるかどうかをテストする。 コールドスタートからハーネスを駆動するために、ベースチェックポイントを必要としない3つのスクリーンを構築します。 3つの画面はいずれも、ポストトレーニング後のSWE-bench Verified pass@$1$と密接に一致して、コホートをランク付けする。
  論文  参考訳（メタデータ） (2026-10-07T17:37:19Z)
• Learning What to Skip: Counterfactual Credit Assignment for Efficient Multi-Agent LLM Workflows [49.15875332210974]
  すべてのコンポーネントを実行することは、計算を無駄にしたり、正しい中間回答を上書きすることができる。 我々は、制御されたスキップ介入からアクション固有の安全モデルを学ぶ「Skip to Skip」について紹介する。 早期スキップが拒否されると、コントローラは実行を継続し、後続のコンポーネントを再考することができる。
  論文  参考訳（メタデータ） (2026-09-25T03:02:57Z)
• RegenHarness: A Robot Agent Harness with Evidence-Gated Recursive Self-Improvement [0.0]
  本稿では,エビデンス付きロボットエージェントハーネスRegenHarnessを紹介する。 役割分離された4つのコンテキストは、計画、監督、検証、リカバリの入力を分離する。 バージョニングメモリは、観察された事実と認められたタスクの進捗を区別する。
  論文  参考訳（メタデータ） (2026-09-23T09:29:04Z)
• LoopArena: Benchmarking Models as Runtime Controllers for Loop Engineering [47.39676953516343]
  コーディングエージェントを中心とした開発作業を組織化するためのプラクティスとして,ループエンジニアリングが登場している。 LoopArenaは、1つのモデルが、長時間実行中のタスクを通じて、個別のコーディングエージェントをいかにうまくガイドできるかを評価するためのベンチマークです。
  論文  参考訳（メタデータ） (2026-08-28T12:44:54Z)
• Claim Plane: Enforceable Change Intents and Dynamic Scope for Parallel Coding Agents [1.4721615285883427]
  本稿では,同時ソフトウェア変更をプリライト入力問題として扱うモデルに依存しない協調アーキテクチャであるClim Planeを提案する。 決定論的制御プレーンは、互換性のある意図をアトミックに認め、宣言された領域に同ファイルの並列性を制約し、未解決の重複をシリアライズし、依存性の無効性を追跡し、曖昧な権限で閉じる。 最初に試みられた突然変異は、現在のアクティブセットに対するアトミックスコープの促進と再許可を引き起こす。
  論文  参考訳（メタデータ） (2026-07-24T02:30:50Z)
• CLOSER-Bench: Evaluating Budgeted Cross-Stage Design Closure for Hardware Agents [5.604484678527336]
  CLOSER-Bench (CLOSER-Bench) は、予算付きクロスステージ設計クロージャのための制御された評価プロトコルである。 Spec-to-RTL、RTL-to-GDS、Spec-to-GDSタスクを組み合わせ、すべてのシミュレータ、合成、STA、プレース・アンド・ルートの呼び出しを記録する。 最終品質、任意の進捗状況、ツールコスト、ステージ間のリカバリを測定します。
  論文  参考訳（メタデータ） (2026-07-18T04:28:47Z)
• Completion at the Boundary (CaB): Deployable Switching with Completion-Aware Control under Limited Calibration [0.0]
  我々は、オープンエンドの教育空間を動機とした、デプロイ可能な低校正体制下での完了について研究する。 本稿では,境界値の形式でイベントローカルな完了オブジェクトを予測する境界値のコンプリートを提案する。 その結果,CaB は Minecraft VLA の1対1のベンチマークにおいて,キャパシティとデプロイ性に制約のある条件下で,複合実行とハンドオフ品質を改善していることがわかった。
  論文  参考訳（メタデータ） (2026-05-29T02:48:13Z)
• SARC: A Governance-by-Architecture Framework for Agentic AI Systems [0.0]
  エージェントAIシステムは、ツール、サブエージェント、外部サービスを通じてますます機能するが、ガバナンスコントロールは、プロンプト、ダッシュボード、ポストホックドキュメンテーションにアタッチされることが多い。 SARCは、制約をステート、アクションスペース、報酬と共に第一級の仕様オブジェクトとして扱うツール使用エージェントのためのランタイムガバナンスアーキテクチャである。 SARCは厳密な述語の下でゼロのハードコントラスト違反を実行し、その宣言されたPAAのスロットリング応答は、ポリシー・アズ・コードのみと比較して、ソフトウインドウのオーバーアーを89.5%削減する。
  論文  参考訳（メタデータ） (2026-05-08T13:34:36Z)
• Code-as-Monitor: Constraint-aware Visual Programming for Reactive and Proactive Robotic Failure Detection [56.66677293607114]
  オープンセットのリアクティブかつアクティブな障害検出のためのCode-as-Monitor(CaM)を提案する。 モニタリングの精度と効率を高めるために,制約関連エンティティを抽象化する制約要素を導入する。 実験により、CaMは28.7%高い成功率を達成し、厳しい乱れの下で実行時間を31.8%短縮することが示された。
  論文  参考訳（メタデータ） (2024-12-05T18:58:27Z)

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

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