論文の概要: The Café in Amsterdam: When the Incumbent Becomes the Oracle

• arxiv url: http://arxiv.org/abs/2607.13393v2
• Date: Tue, 21 Jul 2026 05:01:13 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-22 14:48:36.118686
• Title: The Café in Amsterdam: When the Incumbent Becomes the Oracle
• Title（参考訳）: アムステルダムのカフェ:現職がOracleになったとき
• Authors: Augusto Camargo,
• Abstract要約: フィールドは、その要求が既存の実装とは独立に記述された場所で、その計算を自由に再構成することができる。 このノートは、現代の加速器の計算再構成におけるレンズとしての観察を提供する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: A field can reformulate its computations freely exactly where its demand is stated independently of any incumbent implementation, and finds itself unable to when the incumbent's own output has quietly become the specification. This note offers that observation as a lens on computational reformulation for modern accelerators, where posing a problem in a hardware-friendly form can yield large speed and energy gains, but only if a replacement can be judged at all. Building on the test-oracle problem (Weyuker; Barr et al.), on requirements engineering's notion of implementation bias (Zave and Jackson), and on the case for judging approximate designs by acceptability rather than numerical proximity (Felzmann et al.), it names the pathology "baseline capture": the moment an incumbent stops being evidence that a demand can be met and becomes the definition of meeting it. It then separates two questions that are easily confused: whether a reformulation can be judged at all, which turns on the existence of an incumbent-independent demand, and whether its discovery can be automated, which turns additionally on the cost of evaluating that demand. Short cases -- shortest-path routing, learnable audio frontends, ZIP-215 for Ed25519 signature validation, CESM-ECT for climate models, and a single-GEMM audio frontend measured at 1.64x-3.29x speedup and up to 3.03x less energy -- illustrate the pattern and the move of "buying a verifier": making a demand explicit, operational, and independent of the incumbent. No component is claimed novel in isolation; the contribution is the synthesis and the single question it makes easy to ask of any reformulation result -- does its acceptance test mention the incumbent's output?
• Abstract（参考訳）: フィールドは、既存の実装とは独立して要求が記述された場所で、その計算を自由に再構成することができ、既存の出力が静かに仕様になるとき、その計算は不可能である。 このノートは、ハードウェアフレンドリーな形式で問題に対処することで、大きな速度とエネルギーを得られるが、置き換えを全く判断できない場合に限り、現代の加速器の計算的再構成のレンズとしての観察を提供する。 テスト・オークル問題(Weyuker, Barr et al )、要求工学の実装バイアスの概念(Zave and Jackson)に基づいて構築され、数値的な近接性よりも受理性によって近似設計を判断する場合(Felzmann et al )、それは病理学を「ベースラインキャプチャー」(baseline capture) と呼ぶ。 次に、既存の非依存的な需要の存在を反映し、その発見が自動化可能かどうか、さらにその需要を評価するコストにも影響する、という2つの質問を分離する。 ショートパスルーティング、学習可能なオーディオフロントエンド、Ed25519シグネチャ検証のためのZIP-215、気候モデルのためのCESM-ECT、そして1.64x-3.29xのスピードアップと最大3.03倍のエネルギーで測定された単一GEMMオーディオフロントエンドは、このパターンと「検証子購入」の動きを説明している: 要求を明示し、運用し、既存のものから独立させる。

関連論文リスト

• Computing with Stochastic Oracles in AI-Augmented Computation [2.345146665577353]
  本稿では,2つのオラクル応答方式でSOTMが達成できるものについて検討する。 どちらのスキームでも、SOTMは入力と内部のランダムソースから計算し、最初のクエリを生成する。 フレッシュレスポンスは、繰り返し呼び出しによって、正しいまたは高品質な出力に対する独立した証拠を蓄積することで、これらの天井を上げることができる。
  論文  参考訳（メタデータ） (2026-07-08T01:32:37Z)
• CARVE-Q: Quantum-Proposed, Classically Certified Interactive Driving Repair [6.016090674751934]
  CARVE(Certified Affordable repair of Vetoed maneuvers via Envelopes)は、予測不要な対話型修復のための認証アーキテクチャである。 我々は、このブラックボックス格子のみに量子最小探索を適用する検証器シールド付き量子AI探索層であるCARVE-Qを紹介する。 検証器の遮音性能,優先的非楕円化,ブラックボックスクエリ分離,有限精度オークレ構成性を検証した。
  論文  参考訳（メタデータ） (2026-06-03T17:38:23Z)
• Upholding Epistemic Agency: A Brouwerian Assertibility Constraint for Responsible AI [0.0]
  責任を負うAIに対して,Brouwerにインスパイアされたアサービビリティ制約を提案する。 ハイテイクドメインでは、公に検査可能でコンテスト可能な権利証明書を提供する場合に限り、システムはクレームを主張または否定することができる。
  論文  参考訳（メタデータ） (2026-03-04T12:14:21Z)
• Inferential Question Answering [67.54465021408724]
  新しいタスクであるInferential QAを導入します。これは、答えをサポートするパスから答えを推測するためにモデルに挑戦するものです。 そこで本研究では,7,401問と2.4M節からなるQUITデータセットを構築した。 我々は,従来のQAタスクに有効な手法が推論QAに苦しむことを示し,レトリバーは性能が低下し,リランカーは利得が制限され,微調整は不整合の改善をもたらすことを示した。
  論文  参考訳（メタデータ） (2026-02-01T14:02:43Z)
• Is the House Ready For Sleeptime? Generating and Evaluating Situational Queries for Embodied Question Answering [48.43453390717167]
  本研究では,家庭環境における状況問合せ(S-EQA)による身体的質問回答の課題を提示し,解決する。 以前のEQAの作業とは異なり、状況的クエリでは、エージェントが複数のオブジェクト状態を正しく識別し、回答のために状態に関するコンセンサスに到達する必要がある。 本稿では, LLMの出力をラップして, 独自のコンセンサスクエリとそれに対応するコンセンサスオブジェクト情報を生成する新しいPrompt-Generate-Evaluateスキームを提案する。
  論文  参考訳（メタデータ） (2024-05-08T00:45:20Z)
• Answering Ambiguous Questions via Iterative Prompting [84.3426020642704]
  オープンドメインの質問応答では、質問のあいまいさのため、複数の妥当な回答が存在する可能性がある。 ひとつのアプローチは、すべての有効な回答を直接予測することですが、これは、妥当性と多様性のバランスに苦労する可能性があります。 本稿では,あいまいな疑問に答える既存手法の欠陥に対処するため,AmbigPromptを提案する。
  論文  参考訳（メタデータ） (2023-07-08T04:32:17Z)
• An Analysis of Attention via the Lens of Exchangeability and Latent Variable Models [64.87562101662952]
  入力トークンは、位置エンコーディングを含むため、しばしば交換可能であることを示す。 我々は入力トークンの十分かつ最小限の表現の存在を確立する。 所望パラメータの注意が近似誤差まで潜伏した後部を推定することを証明する。
  論文  参考訳（メタデータ） (2022-12-30T17:59:01Z)
• Which Linguist Invented the Lightbulb? Presupposition Verification for Question-Answering [13.50388629020283]
  不可解な質問は、検証不能な前置詞の存在に基づいて説明できる。 本稿では,前提生成,前提検証,説明生成という3つのステップに分けた新しい枠組みを提案する。 既存のモデルに前提条件と検証可能性を加えると、下流のパフォーマンスとアンサーバーサビリティ検出が緩やかに向上することがわかった。
  論文  参考訳（メタデータ） (2021-01-02T07:26:04Z)
• Retrospective Reader for Machine Reading Comprehension [90.6069071495214]
  機械読み取り理解(英: Machine reading comprehension、MRC)とは、機械が与えられた文節に基づいて質問に対する正しい答えを決定することを要求するAIチャレンジである。 不可解な質問が MRC タスクに関与している場合、検証モジュールと呼ばれる本質的な検証モジュールがエンコーダに加えて特に必要となる。 本稿では, MRC タスクに対して, 解答不能な質問に対して, より優れた検証器設計を提案する。
  論文  参考訳（メタデータ） (2020-01-27T11:14:34Z)

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

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