論文の概要: Terminal Symmetry as a Decision Resource: Statewise Refinement for Anytime Verified Construction
- arxiv url: http://arxiv.org/abs/2608.11318v1
- Date: Tue, 11 Aug 2026 18:08:01 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-13 19:07:54.329828
- Title: Terminal Symmetry as a Decision Resource: Statewise Refinement for Anytime Verified Construction
- Title（参考訳）: 決定資源としての終端対称性:任意の検証構築のための状態的リファインメント
- Abstract要約: 多くのシーケンシャルな構成タスクは、実行が指示され、履歴に依存している間、完了時に正確な対称性を示す。
本研究は, 指向性, 等価な結果にまたがる構造を有する終端対応輸送を提供する終端対称性の意思決定資源ビューを開発し, 遷移後の現在の決定関連性を解明する。
- 参考スコア（独自算出の注目度）: 4.28787537081191
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Many sequential construction tasks exhibit exact symmetry at completion while their execution remains directed and history-dependent. We develop a decision-resource view of terminal symmetry: process evidence supplies directionality, terminal correspondence transports that structure across equivalent outcomes, realized-state evidence refines its current decision relevance after transitions, and a fixed verifier certifies execution. This decomposition yields transport--refine--certify. \method{} instantiates the principle with an episode-fixed transported process structure, its state-restricted process rank, a state-dependent residual rank refreshed after accepted transitions, and an ordinal rank meet whose top-$k$ set is exactly the union of the two proposal prefixes. The meet provides a completion guarantee under prefix coverage and attains the tight worst-case verifier-query bound under the corresponding prefix information model; a two-state construction predicts a strict post-transition dynamic--static separation. Across CAD assembly, Mini-Programs, and exact-fill packing, statewise refresh improves anytime AUC by up to $6.77$, $21.75$, and $8.68$ points, respectively. On 1,135 target-removal episodes from the official GRN OOD scenes, \method{} attains the lowest mean capped verifier cost at all three scales among the compared GRN and CDGS-style planners. The statewise signal also transfers across aggregation and scheduler organizations. Terminal symmetry thereby becomes a reusable decision resource for directed construction.
- Abstract（参考訳）: 多くのシーケンシャルな構成タスクは、実行が指示され、履歴に依存している間、完了時に正確な対称性を示す。
プロセスエビデンスによって方向性が提供され、等価な結果にまたがって構造が構築される端末通信が転送され、実状態エビデンスは遷移後の現在の意思決定関連性を洗練し、固定検証器が実行を認証する。
この分解は輸送-refine--certifyをもたらす。
\method{} は、エピソード固定された転送プロセス構造、状態制限されたプロセスランク、受理された遷移後に更新された状態依存の残留ランク、および2つの提案プレフィックスの正確な結合である上位k$セットの順序付きランクが一致するという原則をインスタンス化する。
この会議は、プレフィックスカバレッジの下で完了保証を提供し、対応するプレフィックス情報モデルに基づいて、厳密な最悪ケース検証クエリを実現する。
CADアセンブリー、ミニ・プログラム、および正確な充填パッキング全体で、州ごとのリフレッシュは、AUCを最大6.77ドル、21.75ドル、および8.68ドルまで改善している。
公式のGRN OODシーンの1,135回のターゲット除去エピソードでは、比較したGRNおよびCDGSスタイルのプランナーの中で、平均キャップ付き検証コストが最低となる。
州ごとの信号は、アグリゲーションやスケジューラの組織間でも転送される。
これにより、終端対称性は、有向構成のための再利用可能な決定資源となる。
関連論文リスト
- Do Not Restart: Residual Completion for Stateful Agent Handoffs [25.03690301477989]
Commitment-Frontier Residual Completion (CFRC)は、目標前プロモーサル、全プロモーサル前オーソリティ、ライブエビデンス前オーソリティを強制する。
CFRCは推論コストのわずか22.0%-34.6%で強力なフルタスクエージェントに匹敵するマクロ精度を達成している。
論文 参考訳（メタデータ） (2026-09-12T08:23:23Z) - Verification-Aware Training for Speculative Decoding [57.84976863792784]
VAT(Verification-Aware Training)は、トレーニングステップ毎に検証をシミュレートし、その結果の受け入れパターンと拒否パターンを監督するプラグインフレームワークである。
VATはトレーニング対象のみを変更するため、ドラフトアーキテクチャやターゲットモデル、推論手順を変更することなく、既存のメソッドの上にレイヤー化することができる。
VATは平均受理期間を最大11.4%改善し、ウォールクロックのスピードアップを最大8.7%向上させ、数学、コード、チャットベンチマークで一貫した利益を得ている。
論文 参考訳（メタデータ） (2026-08-31T01:42:10Z) - Lift, Associate, and Fuse: A Decision-Centric Framework for 2D-to-3D Foundation Model Transfer [18.616107275409764]
2次元基礎モデルから3次元セグメンテーションへの予測を伝達する手法は、一般にタスクまたは表現によってグループ化される。
我々は5つの演算子として転送システムを表す決定中心のフレームワークである textbfLift, Associate, and Fuse (LAF) を紹介する。
LAFは、永続キャリアの明示的な契約を定義し、破棄された証拠が回収不能になる第1段階を特定する。
論文 参考訳（メタデータ） (2026-08-21T01:33:23Z) - Orthogonal JEPA: Factorized Predictive States for Latent World Models [95.20158869896393]
予測因数分解に基づく潜在的世界モデリングフレームワークであるメソッドを導入する。
そこで本研究では,予測構造を弱め,あるいは矛盾する勾配を抑えつつ,冗長なキャパシティを支配的信号に割り当てる手法を提案する。
制御された視覚、単細胞転写学、縦断的な健康記録、連続的な制御、分子動力学の実験は、表現品質、予測、計画、長期安定性を評価する。
論文 参考訳（メタデータ） (2026-08-20T13:59:57Z) - Shared Prefixes, Better Credit: Adaptive Routing for Multi-Agent Reasoning [72.49938949082117]
MAR(Multi-agent reasoning)は、反復的な解交換と改良を通じて推論の信頼性を向上させる。
既存の適応MARメソッドは通常、クエリレベルのラベルやトラジェクトリレベルのリターンからルーティング決定を学習する。
効率的な適応MARのための共有操作型クレジット割り当てフレームワークであるTreeCreditを提案する。
論文 参考訳（メタデータ） (2026-08-03T14:22:23Z) - A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking [0.5076419064097734]
有限非アベリア群追跡のためのホールドアウト遷移ペアファルシファイアを導入する。
制御された$S_3 times S_3$ベンチマークでは、長さ8列のみに基づいてトレーニングされた投影されたリカレント状態モデルがエラーのない最終状態予測を生成する。
論文 参考訳（メタデータ） (2026-06-05T13:26:41Z) - VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents [57.240036084348354]
本稿では,ロボットスキルコントラクトの検証誘導自己進化のためのフレームワークであるVASOを紹介する。
VASOは論理的に一貫性のないスキル契約を検証し、グローバルおよびローカルな時間的仕様に対してスキルによって誘発される計画を検証する。
Clearpath Jackal と PX4 のクアッドコプタータスクでは、VASO は100点未満の最適化サンプルを使用して97.2% の形式的な仕様準拠に達した。
論文 参考訳（メタデータ） (2026-06-03T20:02:35Z) - FUSE: A Framework for Unified State Estimation in Vehicular and Robotic SLAM Systems [28.52219500722156]
FUSEは、車両およびロボットSLAMシステムにおける統一状態推定のためのフレームワークである。
LiDAR-IMUのインスタンス化は、混合レートセンシングおよび方向性縮退下でのフレームワークを調べるために開発された。
論文 参考訳（メタデータ） (2026-05-18T08:36:04Z) - Agentic Harness Engineering: Observability-Driven Automatic Evolution of Coding-Agent Harnesses [57.20181537213498]
Agentic Harness Engineering (AHE)は、ハーネスエンジニアリングを自動化するクローズドループである。
AHEは3つの一致した可観測性柱を通じて課題に対処する。
10 AHE lift pass@1 on Terminal-Bench 2 from 69.7% to 77.0%。
SWE-bench-verifiedでは、種子よりも12%少ないトークンで合計成功率を上回り、ターミナルベンチ2では+5.1から+10.1ppのクロスファミリーゲインを得る。
論文 参考訳（メタデータ） (2026-04-28T16:55:02Z) - IMPACT-CYCLE: A Contract-Based Multi-Agent System for Claim-Level Supervisory Correction of Long-Video Semantic Memory [73.22944697933603]
既存のパイプラインは不透明でエンドツーエンドの出力を生成し、検査の中間状態は公開しない。
IMPACT-Cycleは,マルチモーダル反復クレームレベルのメンテナンスとして,長時間ビデオ理解を再構築するマルチエージェントシステムである。
論文 参考訳（メタデータ） (2026-04-22T03:03:33Z) - Correction and Corruption: A Two-Rate View of Error Flow in LLM Protocols [51.56484100374058]
そこで本研究では,単一プロトコルステップを正確なマッチングタスクで監査するためのペアアウトカム計測インタフェースを提案する。
各インスタンスについて、インターフェースはベースラインの正当性ビットと後ステップの正当性ビットを記録する。
これらのレートは精度の変化を予測し、種、混合物、パイプライン間でテスト可能な再利用可能な経験的インターフェースを定義する。
論文 参考訳（メタデータ） (2026-04-20T13:25:40Z) - PEB Separation and State Migration: Unmasking the New Frontiers of DeFi AML Evasion [9.196953891529043]
転写層属性の完全性を損なう2つの構造機構を定式化する。
転送層トレーシング機能の拡張は、基礎となる属性の曖昧さを解決するのに失敗する、と我々は主張する。
我々は,実行セマンティクスに基づくAMLへのパラダイムシフトを提唱する。
論文 参考訳（メタデータ） (2026-03-27T10:58:54Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。