論文の概要: CARVE-Q: Quantum-Proposed, Classically Certified Interactive Driving Repair
- arxiv url: http://arxiv.org/abs/2606.06531v1
- Date: Wed, 03 Jun 2026 17:38:23 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-08 14:33:29.347176
- Title: CARVE-Q: Quantum-Proposed, Classically Certified Interactive Driving Repair
- Title（参考訳）: CARVE-Q: 量子プロファイリング、古典的に認定されたインタラクティブ運転修理
- Authors: Yifan Wang,
- Abstract要約: CARVE(Certified Affordable repair of Vetoed maneuvers via Envelopes)は、予測不要な対話型修復のための認証アーキテクチャである。
我々は、このブラックボックス格子のみに量子最小探索を適用する検証器シールド付き量子AI探索層であるCARVE-Qを紹介する。
検証器の遮音性能,優先的非楕円化,ブラックボックスクエリ分離,有限精度オークレ構成性を検証した。
- 参考スコア（独自算出の注目度）: 6.016090674751934
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The critical question after a correct driving veto is not only whether a maneuver is unsafe, but whether the blocked interaction admits a lawful, auditable, and responsibility-bounded repair. Prediction and game-theoretic planners can suggest plausible cooperation, yet they do not return a proof that the repair respects hard rules, right-of-way, cost allocation, and ego fallback. We introduce CARVE, Certified Affordable Repair of Vetoed maneuvers via Envelopes, a certificate architecture for prediction-free interactive repair. Given a vetoed maneuver, CARVE constructs a finite repair lattice and emits a structured certificate recording the binding rule, selected joint repair, right-of-way-scaled cooperation envelope, responsibility-weighted cost split, and ego-only fallback. This certificate view reveals the algorithmic bottleneck: multi-owner repair induces a product lattice $M = \prod_j |\mathcal{A}_j|$. We therefore introduce CARVE-Q, a verifier-shielded quantum-AI search layer that applies quantum minimum finding only to this black-box lattice while leaving all safety authority classical. In the conservative verifier-oracle model, exact classical minimum finding requires $Θ(M)$ queries in the worst case, whereas Durr-Hoyer/Grover minimum finding uses $O(\sqrt{M})$ oracle queries with high probability. We prove verifier-shielded certificate soundness, priority non-elicitation, black-box query separation, and finite-precision reversible-oracle constructibility. We then demonstrate state-vector minimum finding on CARVE repair oracles up to 65,536 assignments and validate certificate preservation on Lanelet2-grounded INTERACTION replay with 100% right-of-way respect, 100% blame consistency, and zero priority false positives. The result is a trust-bounded quantum-AI pattern for certified autonomy: quantum proposes; CARVE certifies.
- Abstract（参考訳）: 正しい運転拒否の後の重要な問題は、操作が安全でないかどうかだけではなく、ブロックされた相互作用が合法的で監査可能で責任を負った修復を認めるかどうかである。
予測とゲーム理論のプランナーは、妥当な協力を提案できるが、修復が厳しいルール、正しい方向、コスト配分、エゴのフォールバックを尊重する証拠は返さない。
CARVE, CARVE, Certified Affordable repair of Vetoed maneuvers through Envelopes, a certificate architecture for predict-free Interactive repair。
拒否操作が与えられた場合、CARVEは有限の修理格子を構築し、バインディングルール、選択された共同修復、右方向スケールの協調エンベロープ、責任重み付きコスト分割、エゴのみのフォールバックを記録する構造化証明書を発行する。
マルチオーナーの修復は、製品格子$M = \prod_j |\mathcal{A}_j|$を誘導する。
そこで我々は,このブラックボックス格子のみに量子最小探索を適用しつつ,すべての安全権限を古典的に残しながら,検証済の量子AI探索層であるCARVE-Qを導入する。
一方、Durr-Hoyer/Grover最小探索は高い確率で$O(\sqrt{M})$ oracle queryを使用する。
検証器の遮音性能,優先的非楕円化,ブラックボックスのクエリ分離,有限精度の可逆性の構成性について検証する。
次に,CARVE修復用オーラクルについて,最大65,536個のオーラクルを検証し,Lanelet2-grounded InterACTIONリプレイにおける証明書保存を100%の右折敬意,100%の非難整合性,ゼロの優先的偽陽性で実証した。
その結果は、認証された自律性のための信頼に縛られた量子AIパターンである:量子提案; CARVE認証。
関連論文リスト
- What Can Verifiable Decapsulation Tests Certify? Pass Bounds and Fault-Recognition Limits for FO-Based KEMs [0.0]
藤崎・岡本脱カプセル化のブラックボックス試験では, ハーネスが観察した検体を観察した。
本報告では, 信頼度向上型KEM変種について, 誠実な参照手法を用いて検討する。
論文 参考訳（メタデータ） (2026-06-03T04:46:17Z) - Repair Before Veto: Repair-Augmented Constraint Learning for Contextual Decisions [6.016090674751934]
我々は、既知の修理作業者をセマンティクスに引き上げる文脈決定フレームワークである修復制約学習(RACL)を導入する。
候補者は、手頃な修理が十分に実現可能で好まれる場合に受け入れられる。そうでなければ、システムは構造化された拒絶債権を返却し、適用すれば、修理計画を立てる。
制御されたDB1B由来のベンチマークで、RACLは意図した信用と修復構造を回復する。
論文 参考訳（メタデータ） (2026-06-01T14:38:04Z) - CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving [6.016090674751934]
インタラクティブな運転は、ルール対応の自動運転スタックで見逃しやすい障害モードを公開する。
我々は,エゴ所有およびエージェント所有の戦術演算子の有限格子上の予測自由証明層であるCARVEを紹介する。
我々は,証明の健全性,構造的右翼の敬意,厳密な有限格子最小性,フォールバックの緊急性,および非難-一貫性条件を証明した。
論文 参考訳（メタデータ） (2026-05-31T12:49:01Z) - 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) - To Throw a Stone with Six Birds: On Agents and Agenthood [0.0]
Six Birds Theory (SBT)は、マクロな物体を原始体ではなく誘導的閉包として扱う。
SBT内では,タイプ正当性評価を行う。
我々はこの契約を4つのチェック可能なコンポーネントを用いて有限制御システムで運用する。
論文 参考訳（メタデータ） (2026-02-03T10:46:23Z) - zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing [7.274627641804014]
zkCraftは決定論的、R1CS対応のローカライゼーションと証明付き検索を組み合わせて意味的不整合を検出するフレームワークである。
証明付きローカライゼーションは, 偽陽性が低い多彩な下限および過制約の断層を検出し, コストのかかるソルバ相互作用を低減できることを示す。
論文 参考訳（メタデータ） (2026-01-31T11:31:00Z) - Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifiers [90.50039419576807]
RLVR(Reinforcement Learning with Verifiable Rewards)は、人為的なラベル付けを避けるために、自動検証に対するポリシーを訓練する。
認証ハッキングの脆弱性を軽減するため、多くのRLVRシステムはトレーニング中にバイナリ$0,1$の報酬を破棄する。
この選択にはコストがかかる:textitfalse negatives(正しい回答、FNを拒絶)とtextitfalse positives(間違った回答、FPを受け入れる)を導入する。
論文 参考訳（メタデータ） (2025-10-01T13:56:44Z) - COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees [51.5976496056012]
COINは、統計的に有効な閾値を校正し、質問毎に1つの生成された回答をフィルタリングする不確実性保護選択フレームワークである。
COINはキャリブレーションセット上で経験的誤差率を推定し、信頼区間法を適用して真誤差率に高い確率上界を確立する。
リスク管理におけるCOINの堅牢性,許容回答を維持するための強いテストタイムパワー,キャリブレーションデータによる予測効率を実証する。
論文 参考訳（メタデータ） (2025-06-25T07:04:49Z) - Certifying classes of $d$-outcome measurements with quantum steering [49.1574468325115]
我々は、$d$-outcomesの射影測度の大きなクラスに合わせて、ステアリングの不平等の族を構築する。
これらの不等式に対する最大量子違反は、これらの測定の証明と2つの四重項の最大エンタングル状態に利用できることを証明している。
論文 参考訳（メタデータ） (2024-10-27T15:32:53Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。