論文の概要: LASER: Defeasible Certificate Search for Long-Range Protocol Dependencies

• arxiv url: http://arxiv.org/abs/2610.14552v1
• Date: Sat, 10 Oct 2026 04:18:25 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-15 21:06:15.066525
• Title: LASER: Defeasible Certificate Search for Long-Range Protocol Dependencies
• Title（参考訳）: LASER:Long-Rangeプロトコル依存のための決定可能な証明書検索
• Abstract要約: LASERは、スパースでデファジブルなプロトコルエビデンスに対する証明付き検索手法である。 LASERは、明確な義務として、サポートの欠如と未解決の修正を表現している。 LASERは、不完全な証拠と不確実な権威を明確な残留義務に変換しながら、長距離依存の回復を改善する。
• 参考スコア（独自算出の注目度）: 1.528324593083089
• License: http://creativecommons.org/licenses/by-sa/4.0/
• Abstract: Protocol specifications rarely justify executable behavior in one place: a transition may inherit its source state from a remote control block, name its events only by number, and remain subject to a later correction. Recovering the nearby clause is therefore insufficient; the system must assemble a source-linked certificate and determine whether any stronger rule applies. We introduce LASER, a proof-carrying search method for sparse, defeasible protocol evidence. LASER represents missing support and unresolved corrections as explicit obligations, searches typed evidence routes, and lets an occurrence-aware symbolic checker alone decide whether a certificate warrants, refutes, or leaves a behavior unresolved. On 91 BehaviorCheck families under a matched 2K budget, LASER improves Joint Edge+Proof over the strongest local reader on two model families ($Δ=+.132$, $p=.017$; $Δ=+.198$, $p<.001$) while cutting false discoveries by 2--3$\times$. Controlled replays attribute the gain and its limits: neither reference routing nor deterministic citation expansion alone exceeds the local baseline; whole-document reading (29--65K tokens), two-round iterative retrieval, and even oracle minimal-certificate evidence all fail to reach LASER, localizing the bottleneck in typed obligation closure rather than evidence access. An authority-corruption replay shows source-link errors only cause abstention, while the only unsafe-warrant mechanism is mis-recording a Held erratum as Verified, confined to that erratum's family. LASER thus improves long-range dependency recovery while converting incomplete evidence and uncertain authority into explicit residual obligations rather than unsupported behavior.
• Abstract（参考訳）: トランジションは、そのソース状態をリモートコントロールブロックから継承し、そのイベントを数だけ名付け、後の修正の対象にすることができる。 したがって、近隣の節の復元は不十分であり、システムはソースリンクされた証明書を組み立て、より強い規則が適用されるかどうかを判断しなければならない。 本稿では,スパースでデファジブルなプロトコルエビデンスに対する証明付き検索手法であるLASERを紹介する。 LASERは、明示的な義務として、サポートの欠如と未解決の修正を表現し、型付きエビデンスルートを検索し、証明書の保証、反証、または未解決の動作を残しているかどうかを、発生に注意するシンボルチェッカーのみに判断させる。 一致した2K予算の下で91のBehaviorCheckファミリにおいて、LASERは、2つのモデルファミリ(Δ=+.132$, $p=.017$; $Δ=+.198$, $p<.001$)で最強のローカルリーダー(Δ=+.132$, $p=.017$; $Δ=+.198$, $p<.001$)よりも結合エッジ+Proofを改善し、偽の発見を2--3$\times$で削減した。 参照ルーティングも決定論的引用拡張も局所ベースラインを超えず、全文書読解(29-65Kトークン)、2ラウンド反復検索、さらにはオラクルの最小証明さえも、すべてLASERに到達できず、証拠アクセスよりも型付き義務クロージャのボトルネックを局所化する。 権威破壊のリプレイは、ソースリンクのエラーが棄権を引き起こすだけであることを示しているが、唯一安全でない警告機構は、そのエラトゥムの家族に限られている、検証されたヘルド・エラトゥムを誤記録している。 したがって、LASERは、不完全な証拠と不確実な権威を、支持された行動よりも明確な残効義務に変換する一方で、長距離依存の回復を改善する。

関連論文リスト

• Correct Answers, Unsupported Findings: Evidence Binding in Forensic Reconstruction of LLM Agent Logs [5.105496588695859]
  エージェントアクションの法医学的再構築には、発見を支援する保存記録の確立が必要である。 保存されたAgentDojo Bankingの実行から、64の機械的チェック可能なケースを使用して、この区別を監査する。 我々は,完全記録契約,証拠を根拠とした発見,正当化された棄却,および断言を別々に評価した。
  論文  参考訳（メタデータ） (2026-10-07T07:26:33Z)
• Watermarking: from Impossibility to Auditable Compliance [78.87513208320995]
  EU人工知能法第50条(2)は、合成出力を機械可読かつ検出可能にするために、生成システムの提供者を要求する。 自由形式のテキストにとって、重要な実装の1つは、生成的な透かし処理の実装である。 本稿は、強い透かしに代わる聴覚的な代替品を開発する。
  論文  参考訳（メタデータ） (2026-10-05T13:32:41Z)
• Functionally Equivalent or Not? Graph-Grounded Differential Surrogate Execution for Code Equivalence [10.45005458481016]
  FEAgentは、型付きプログラムグラフエビデンスと差分代理実行を組み合わせた選択等価評価エージェントである。 そのオラクルに対する不一致はすべて、直接実行によって判断され、ベンチマークラベルと単体テストのみのスコアで見逃された振る舞いの相違が明らかになる。 EquiBenchでは、1200個の評価済みペアのうち216個(18.0%)、SWE-bench Verifiedでは331個のテストパスエージェントパッチ(28.4%)が参照パッチから分岐している。
  論文  参考訳（メタデータ） (2026-10-03T08:19:45Z)
• Why LLM Agents Collapse Without Oversight: The Enforcement Gap as the Mechanism Behind Emergence World Failures [19.162716475205308]
  リフレクションスタイルのエージェントで監査フラグをバインドすると、監査官を変更することなく、攻撃の成功率が大幅に低下する。 実行確率から検出確率を分離する$p_d$$$p_e$は、すべてのフレームワークでデフォルトで$p_e approx 0$を確立する。
  論文  参考訳（メタデータ） (2026-09-14T09:46:59Z)
• Fantastic Adaptive Taxonomies and How to Use Them [100.20614173157708]
  AdaMASTは、実行トレースをコンパクトでエビデンスに基づく障害分類に変換する。 コードには手書きのコードはなく、人間による注釈もない。 エージェント・システム・サーチでは、失敗候補の分類コード診断が自由形式より優れている。
  論文  参考訳（メタデータ） (2026-07-17T17:41:16Z)
• No Accidental Software Agent First Canonical Code for Human Code Entropy Reduction and 30 to 500 times Lower Frontier Model Requirements [0.0]
  本稿では,日常的な製品ソフトウェアを標準的行動プロファイルに書き換えるエビデンスキャリング基板を提案する。 除去可能な事故は、残余の新規性、証拠、ガバナンス、リスク、将来のオプション性が支配されるまで減少する。 Qwen2.5-Coder-14BのQLoRA実験は、64,088の標準軌道が学習可能であり、試験された禁止言語マーカーを抑えることを示した。
  論文  参考訳（メタデータ） (2026-06-12T11:35:54Z)
• 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)
• Citation Failure: Definition, Analysis and Efficient Mitigation [56.09968229868067]
  LLMベースのRAGシステムからの引用は、応答検証の簡略化を目的としている。 これは、モデルが有効な応答を生成するとき、引用失敗には当てはまらないが、完全な証拠を引用することができない。 応答自体に欠陥があり、完全な証拠を引用することは不可能である。
  論文  参考訳（メタデータ） (2025-10-23T07:47:22Z)

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

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