論文の概要: Provisional Reachability: Containing Agents by Making Every Crossing Revocable
- arxiv url: http://arxiv.org/abs/2609.21957v1
- Date: Fri, 18 Sep 2026 16:14:48 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-21 18:40:17.179672
- Title: Provisional Reachability: Containing Agents by Making Every Crossing Revocable
- Title（参考訳）: 暫定的到達性:すべてのクロスを回避可能なエージェントを含む
- Abstract要約: 円源の感覚は、閉じた形がつくと鋭くなっている(100%は0.9mu*、0%は2mu*、2万窓以上)。
65の読み取り専用ツールのうち、エスクローは呼び出し毎に2,400ビットを残している。
最終的にスタックは10万ビットから59ビットにリークし、これは1,704ビットとなり、12%の正当性を残している。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: A companion paper found that what a defender must block over time has units: bits per period [Takashita, 2026a]. This paper sets it. Hold every crossing in escrow for one period, audit each held item independently with probability r, and revoke the window if any audit catches something. An adversary crossing k times, each carrying c bits, expects kc(1-r)^k, maximised at k* = 1/ln(1/(1-r)), a bound of L(r) ~ c/(er) per window. The bound is a supremum over the adversary's choice, so the scheme may be public; simulation matches it to 7.7 standard errors. It is a rate, not a total: escrow alone still lets the secret assemble in every run. But if the secret decays at a fraction mu of held bits per period, holdings converge to g/mu at any horizon, so an L-bit secret is unreachable once mu > g/L -- an error threshold in Eigen's sense, sharp where the closed form puts it (100% of runs assemble at 0.9mu*, 0% at 2mu*, over 20,000 windows). Deception that needs the adversary to reason badly fails: a surface whose names lie left accuracy at 18 of 18, and 100% at three reader strengths. Withholding reference works, and differently: no reader would commit at all. Keying the entry points hides 0.10 bits of what a module does; keying the denotation hides 2.64 of 3.00 at chance accuracy, while 100% of readers still call it ordinary Python. Variance must be removed from the audit rate, where loot is convex in r, and added to the activation budget, where survival is multiplicative: extinction 70% to 100% at a fixed mean. End to end the stack takes the leak from 100,000 to 59 bits, a factor of 1,704, leaving 12% of legitimate work standing; keying the window to the caller restores that to 100% at no cost in leakage, at the price of a bound that is per principal. Of 65 read-only tools, escrow leaves 2,400 bits per call: a factor of 10, not infinity.
- Abstract（参考訳）: ある論文によると、守備側が時間とともにブロックしなければならないものは、周期ごとにビット(タカシタ、2026a)の単位であることがわかった。
この論文はそれを定めている。
1つの期間エスクローですべての交差を保ち、保持された各アイテムを確率rで独立に監査し、監査が何かを捕まえたらウィンドウを無効にする。
逆の k 回はそれぞれ c ビットを持ち、kc(1-r)^k は k* = 1/ln(1/(1-r)) で最大化され、窓辺は L(r) ~ c/(er) となる。
境界は敵の選択に対する上限であり、スキームは公開され、シミュレーションは7.7の標準誤差と一致する。
エスクローだけでは、秘密が実行されるたびに組み立てられる。
しかし、シークレットが周期毎に保持されたビットの分数 Mu で崩壊した場合、ホールドは任意の地平線において g/mu に収束するので、L-ビットのシークレットは mu > g/L のときに到達できない。
悪名高い表面は18の18で正確さを保ち、3つの読み取り強度で100%になる。
参照処理を控えることと、違うのは、読者がまったくコミットしないことだ。
入力ポイントのキーはモジュールの動作の0.10ビットを隠蔽する; 宣言のキーは偶然の精度で3.00の2.64ビットを隠蔽するが、読者の100%は通常のPythonと呼んでいる。
ルートがrで凸している監査レートから変数を除去し、生存率を乗算するアクティベーション予算に追加する必要がある。
終端までスタックは10万ビットから59ビットにリークされ、これは1704ビットの要素であり、正当性のある作業の12%を残している。
65の読み取り専用ツールのうち、エスクローは呼び出し毎に2,400ビットを残している。
関連論文リスト
- Stabilizer-Public-Key Authentication: Partial Prediction Bounds and Limits of Key Reuse [34.53765801528678]
本稿では,2次安定化器の公開鍵状態の有限供給に基づく情報理論認証プロトコルを提案する。
計算的に非有界な敵は、有効な古典的シグネチャを1つ観察し、N$公開鍵コピーを共同で処理することができる。
公開署名を条件に、セキュリティ問題は均一な安定化器アンサンブルのための部分予測ゲームに還元されることを示す。
論文 参考訳（メタデータ） (2026-09-16T10:35:00Z) - ECDSA.Fail: Open Autoresearch for Optimizing Elliptic-Curve Point Addition in Shor's Algorithm [26.031771597083708]
我々は、人間とAIエージェントが公衆のリーダーボードに評価器を検証した改善をパブリッシュするOpen Autoresearchを提案する。
我々は、楕円曲線暗号におけるショアのアルゴリズムのボトルネックである、可逆secp256k1点加算回路を最適化する。
ベンチマークは、時空にインスパイアされたスコア$S=Qtimes T$を最小にし、$Q$はピーク論理量子ビット幅、$T$は平均実行されたToffoli数である。
論文 参考訳（メタデータ） (2026-09-09T01:05:06Z) - Robustness-Aware Evaluation and Enhancement of Mutation-Based Fuzzing for Bug Discovery [29.62963078889574]
突然変異ベースのファジィは、ソフトウェアの脆弱性を発見するために広く使われている。
計算処理後のバグトリガー率の変動を計測する。
次に、バグトリガの後にファザのキュー状態をコピーするブラックボックスラッパーであるsplittingを紹介します。
論文 参考訳（メタデータ） (2026-09-06T18:28:47Z) - Interface-Induced Trajectory Censoring [6.496285418517832]
サービススタックから読み取るツールコール率について報告する。
その数はゼロになり得るが、モデルが十分に整った呼び出しを出力している。
ファンネルを Qwen2.5-Coder の 21 倍の範囲で再現する。
論文 参考訳（メタデータ） (2026-09-03T15:00:31Z) - CURA: Certified Runtime Alarms for Computer-Use Agents [6.896160570537455]
セルフレポートは、デプロイが持つ最も安価な監視チャネルであり、有能なコンピュータ使用エージェントでは、監視が重要な場所を正確に失敗する。
361 OSWorldでは、当社のパイプライン、読み取り専用実現ゲート、プランナー、エグゼキュータが、平均タスクスコア82.9に達し、72.4人の参照を上回ります。
71の障害のうち64件(90%)は成功の主張で終わるが、約9100回の呼び出しで明確な失敗の余裕がないことを認めている。
Alarm-gated Mid-execution oversightが障害70件中23件をリカバリし、38日にフロンティア監視機を使用
論文 参考訳（メタデータ） (2026-08-28T00:50:47Z) - Similarity Gates Approve Reversals: A Validity Audit of Embedding-Cosine Thresholds in Agent Systems [0.0]
エージェントフレームワークは、テキストブロックを埋め込みコサインの類似性によって比較し、固定されたカットオフを決定する品質ゲートを出荷する。
重複フィルタ、セマンティックキャッシュ、ドリフトガード、応答グレーダゲートは、質問に答えるために配置されます。
我々はこのゲートクラスを測定器として監査する。
論文 参考訳（メタデータ） (2026-08-10T20:36:40Z) - Judging Is Not Enumerating: Silent Omissions in LLM-Authored Acceptable Sets [13.85834524293015]
私たちは、ロールが想定する能力を測定し、通常、ロールが配置されるプロトコルの下でそれを欠いていることを見つけます。
モデルは、その候補がセット自体の作者よりもはるかに優れているかどうかを判断する。
論文 参考訳（メタデータ） (2026-08-02T05:00:44Z) - CORA-Diff: Confidence-Oriented Residual Acceptance for Efficient Diffusion Language Model Inference [24.176666448303095]
拡散言語モデルは、多くのトークンを並列に更新するが、実用的なデコーダは、しばしば固定されたdenoising horizonを使用する。
本研究では,CORA-Diffを提案する。CORA-Diffは,元のトランスファールールを保護し,ルールが未解決な位置にのみ信頼とパーシステンスをゲーティングする訓練自由法である。
その結果,タスク品質を保ったままの繰り返し認知を低減し,信頼感と持続性が確実な残留受容を可能にすることが示唆された。
論文 参考訳（メタデータ） (2026-07-31T07:32:10Z) - Operational Proto-Introspection in Looped Language Models: Process-Quality Taps, Executable Branching, and the Readout-Control Boundary [0.0]
言語モデルは、進行中の計算の質を読み取ることができるか?
外部介入は、その読み出しをより良い結果に変えることができるか?
凍結した2.6Bループ変換器,Ouro-RLTTで両質問を検証した。
論文 参考訳（メタデータ） (2026-07-20T22:40:36Z) - AgenticSTS: A Bounded-Memory Testbed for Long-Horizon LLM Agents [34.450981549319266]
長期 LLM エージェントの記憶は、将来の決定が何を見るかに関する契約である。
すべての決定は、型付き検索によって組み立てられた新鮮なユーザメッセージからなされます。
Slay the Spire 2はクローズドルールのデッキビルディングゲームだ。
論文 参考訳（メタデータ） (2026-07-02T14:44:32Z) - Catching One in Five: LLM-as-Judge Blind Spots in Production Multi-Turn Transaction Agents [45.148328075418156]
デプロイされた多ターン食品・飲料注文エージェントについて検討し,実際の品質問題の数を測定した。
私たちの盲点分類は、失敗はランダムではなく構造化されていることを示している。
プロダクションマルチターンエージェントでは、自動判断はリグレッションフロアであり、人間のレビューの代わりにはならない。
論文 参考訳（メタデータ） (2026-06-09T02:11:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。