論文の概要: Revision-Bound Evidence Cuts: Authenticated Queries and Contextual Witness Capacity
- arxiv url: http://arxiv.org/abs/2610.37982v1
- Date: Tue, 27 Oct 2026 21:28:16 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-11-03 19:08:55.10853
- Title: Revision-Bound Evidence Cuts: Authenticated Queries and Contextual Witness Capacity
- Title（参考訳）: 修正境界のエビデンス削減 - 認証クエリとコンテキストワイドネス能力
- Abstract要約: ソースバージョンの変更に対する推論と反対の義務の両方を認証するためのフレームワークを提案する。
SCENEのプロトタイプは、署名されたリビジョン、認証されたクエリ、スコープ化された開示、および100万のソースレコードに達するスケールでの敵の突然変異を評価する。
- 参考スコア（独自算出の注目度）: 0.2864713389096699
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Authentic records can support unauthorized narratives when their qualifications, query scope, or counterevidence are silently dropped. We present revision-bound evidence cuts, a framework for authenticating both supporting and opposing inference obligations across changing source versions. Signed complete-update frontiers permit transport of unaffected certificates, alternative-cut recovery, and an exact certified-reuse radius given by a frontier-hypergraph transversal number. Their source obligations induce an integral model of context-bound authorization. To secure database-derived claims, we introduce an authenticated relational query contract that binds original source records, complete selected bags, counting units, parameters, and aggregates independently of execution strategy. A full-source verifier checks 16,824 Chogha Mish records across SQLite scans, indexes, and materialized views; three valid strategies agree and eight contract/view mutations are rejected. A separate 340-row NISP cohort shows that changing the admitted weighting rule can reverse a comparison while preserving every source record. A frozen English text-to-frame compiler produces qualified evidence receipts, with linguistic accuracy evaluated separately from cryptographic integrity. We also separate logical-source from transport commitments so lossless re-encoding need not invalidate unchanged scientific evidence. The SCENE prototype evaluates signed revisions, authenticated queries, scoped disclosures, and adversarial mutations at scales reaching one million source records. These guarantees rely on declared policies and independently pinned trust roots; they authenticate specified computations and obligations, not historical truth, complete counterevidence, or institutional endorsement.
- Abstract（参考訳）: 認証記録は、資格、クエリの範囲、あるいは正当性が静かに削除されたときに、無許可の物語をサポートすることができる。
我々は、ソースバージョンの変更に対するサポートと反対の推論義務を認証するためのフレームワークであるリビジョンバウンド・エビデンス・カットを提示する。
署名された完全更新されたフロンティアは、影響のない証明書の転送、代替カット回復、フロンティア・ハイアグラフ・トランスバーサル番号によって与えられる正確な認証された再使用半径を許可する。
ソース義務は、コンテキストバウンド認証の一体的なモデルをもたらす。
データベースからのクレームを確保するために,元のソースレコードをバインドし,選択したバッグを完了し,ユニット,パラメータ,アグリゲーションを実行戦略とは無関係にカウントする,認証されたリレーショナルクエリ契約を導入する。
フルソース検証器は、SQLiteスキャン、インデックス、マテリアライズドビューにまたがる16,824のChogha Mishレコードをチェックする。
別個の340行のNISPコホートでは、許可された重み付け規則の変更は、すべてのソースレコードを保存しながら比較を反転させることができる。
凍結した英語のテキスト・フレーム・コンパイラは、暗号の完全性から独立した言語的精度で、資格のあるエビデンス・レセプションを生成する。
また、ロジカルソースとトランスポートのコミットメントを分離するので、損失のない再エンコーディングは、変化のない科学的証拠を無効にする必要がありません。
SCENEのプロトタイプは、署名されたリビジョン、認証されたクエリ、スコープ化された開示、および100万のソースレコードに達するスケールでの敵の突然変異を評価する。
これらの保証は宣言された政策に頼り、独立して信頼の根を固定し、特定の計算と義務を認証する。
関連論文リスト
- Minimum-Cost Robust Evidence Certificates for Horn Reasoning under Correlated Source Failures [2.398386906858336]
我々は,ほとんどのkソースドメインが削除されるたびに,Hhornの結論を維持する最小コスト証明書について検討する。
正確な手順は、重み付きエビデンス選択とソース障害オラクルを交互に置き換える。
ルールクローズされた逆解釈は、サポートや障害シナリオを列挙することなく、グローバルに有効な選択カットをもたらす。
論文 参考訳（メタデータ） (2026-10-19T06:20:44Z) - 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) - H-CRSPV: Preventing Semantic Omission in Late-Bound Large Language Model Releases [4.8539809887204735]
H-CRSPV(Hybrid Cryptographic Relation-based Semantic Plan Verification)は、リリース前に必要セットの完全性を強制するレプリケーション層である。
36個の省略アーティファクトのうち、提出対象バリデーションはすべての36を受理する。
プロトタイプはまた、6つの制限されたソース-リレーショナルIR結合を検証し、全60の試験された突然変異を拒絶する。
論文 参考訳（メタデータ） (2026-10-05T08:41:49Z) - Claim-Gated Source-Risk Auditing for Generative Search [5.329247092746233]
生成検索は、サポートされたパスを引用するが、その解釈を変えるソース関係を省略することができる。
クェリソース回答のクレームゲート監査を指定する。
我々は、セマンティックな妥当性を確立するために、独立したアノテーション、保留評価、およびペアのユーティリティテストを定義する。
論文 参考訳（メタデータ） (2026-09-24T07:22:14Z) - Conformal Privacy Auditing: Calibrated Re-identification Attacks with Statistical Guarantees [57.41572512458446]
公開されたテキストからの経験的アイデンティティリークは、大きな言語モデル(LLM)とドキュメントを個人にリンクするための補助的な知識を組み合わせた攻撃者によって駆動される。
本稿では,各文書の再識別リスクの統計証明を提供する分散フリーキャリブレーションフレームワークであるConformal Privacy Auditingを紹介する。
論文 参考訳（メタデータ） (2026-09-18T05:49:54Z) - VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。
それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。
我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
論文 参考訳（メタデータ） (2026-09-02T20:36:45Z) - Stored Is Not Supported: Typed Provenance and Assertion Guardrails for Persistent AI Agents [2.124730017640531]
永続AIエージェントは、リフレクション、検索、統合を通じて自伝的状態を構築する。
自伝的アサーション境界性に対する型付き前置詞とアサーションガードレールを指定する。
論文 参考訳（メタデータ） (2026-09-02T05:35:33Z) - FactReview: Evidence-Grounded Reviews with Literature Positioning and Execution-Based Claim Verification [57.196748998757954]
本稿では,クレーム抽出,文献位置決定,実行に基づくクレーム検証を組み合わせたエビデンスベースレビューシステムであるFactReviewを紹介する。
FactReviewは論文を提出すると、主要なクレームを特定し、その結果を報告し、論文の技術的な位置を明らかにするために近くの作業を取り出し、コードが利用可能であれば、リリースされたリポジトリを実行する。
その後、簡潔なレビューと、主要な請求を5つのラベルのうち1つに割り当てるエビデンスレポートを生成する。
論文 参考訳（メタデータ） (2026-04-05T11:45:22Z) - AmbiFC: Fact-Checking Ambiguous Claims with Evidence [57.7091560922174]
実世界の情報ニーズから10kクレームを抽出したファクトチェックデータセットであるAmbiFCを提示する。
アンビFCの証拠に対する主張を比較する際に,曖昧さから生じる不一致を分析した。
我々は,このあいまいさをソフトラベルで予測するモデルを開発した。
論文 参考訳（メタデータ） (2021-04-01T17:40:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。