Fugu-MT 論文翻訳(概要): Formal Verification of Minimax Algorithms

論文の概要: Formal Verification of Minimax Algorithms

arxiv url: http://arxiv.org/abs/2509.20138v1
Date: Wed, 24 Sep 2025 14:02:33 GMT
ステータス: 翻訳完了
システム内更新日: 2025-09-25 20:53:19.837698
Title: Formal Verification of Minimax Algorithms
Title（参考訳）: ミニマックスアルゴリズムの形式的検証
Authors: Wieger Wesselink, Kees Huizing, Huub van de Wetering,
Abstract要約: 我々は,ミニマックス探索アルゴリズムの検証にDafny検証システムを用いる。転置表を用いた深度制限探索には,目撃者による正当性基準を導入する。証明やPython実装を含むすべての検証成果物が公開されている。
参考スコア（独自算出の注目度）: 0.37851234061033856
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Using the Dafny verification system, we formally verify a range of minimax search algorithms, including variations with alpha-beta pruning and transposition tables. For depth-limited search with transposition tables, we introduce a witness-based correctness criterion and apply it to two representative algorithms. All verification artifacts, including proofs and Python implementations, are publicly available.
Abstract（参考訳）: Dafny の検証システムを用いて,α-β プルーニングや転置テーブルのバリエーションを含む,一連のミニマックス探索アルゴリズムを正式に検証する。転置表を用いた深度制限探索には,目撃者に基づく正当性基準を導入し,2つの代表アルゴリズムに適用する。証明やPython実装を含むすべての検証成果物が公開されている。

関連論文リスト

Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection [7.603986267721877]
We present VeriX+, which is significantly improves both the size and the generation time of confirmed explanations。サイズと時間のトレードオフを提供するために、QuickXplainアルゴリズムを私たちの設定に適応する方法を示します。また、検証された説明の応用についても検討し、説明サイズが誤検出と分布外検出の両方に有用な指標であることを示す。
論文参考訳（メタデータ） (2024-09-04T20:20:37Z)
Understanding and Mitigating Classification Errors Through Interpretable Token Patterns [58.91023283103762]
容易に解釈可能な用語でエラーを特徴付けることは、分類器が体系的なエラーを起こす傾向にあるかどうかを洞察する。正しい予測と誤予測を区別するトークンのパターンを発見することを提案する。提案手法であるPremiseが実際によく動作することを示す。
論文参考訳（メタデータ） (2023-11-18T00:24:26Z)
Real-time AdaBoost cascade face tracker based on likelihood map and optical flow [59.17685450892182]
著者らは、光学フロー情報をヴィオラ・ジョーンズ検出アルゴリズムの修正版に組み込む新しい顔追跡手法を提案する。元のアルゴリズムでは、前のフレームからの情報が考慮されないため、検出は静的である。提案したトラッカーは、各ウィンドウが通過する分類段階の数に関する情報を保存する。
論文参考訳（メタデータ） (2022-10-25T10:15:07Z)
Framing Algorithmic Recourse for Anomaly Detection [18.347886926848563]
我々は,タブラルデータ(CARAT)における異常に対する文脈保存型アルゴリズムレコースを提案する。 CARATはトランスフォーマーベースのエンコーダデコーダモデルを用いて、低い確率で特徴を見つけることで異常を説明する。異常なインスタンス内の特徴の全体的コンテキストを使用して、強調された特徴を変更することによって、意味的に一貫性のある反事実が生成される。
論文参考訳（メタデータ） (2022-06-29T03:30:51Z)
Reinforcement Learning Based Query Vertex Ordering Model for Subgraph Matching [58.39970828272366]
グラフマッチングアルゴリズムは、クエリグラフの埋め込みをデータグラフGに列挙する。マッチング順序は、これらのバックトラックに基づくサブグラフマッチングアルゴリズムの時間効率において重要な役割を果たす。本稿では,Reinforcement Learning (RL) と Graph Neural Networks (GNN) 技術を適用して,グラフマッチングアルゴリズムの高品質なマッチング順序を生成する。
論文参考訳（メタデータ） (2022-01-25T00:10:03Z)
Visualizing Classifier Adjacency Relations: A Case Study in Speaker Verification and Voice Anti-Spoofing [72.4445825335561]
任意のバイナリ分類器によって生成される検出スコアから2次元表現を導出する簡単な方法を提案する。ランク相関に基づいて,任意のスコアを用いた分類器の視覚的比較を容易にする。提案手法は完全に汎用的であり,任意の検出タスクに適用可能だが,自動話者検証と音声アンチスプーフィングシステムによるスコアを用いた手法を実証する。
論文参考訳（メタデータ） (2021-06-11T13:03:33Z)
Top-m identification for linear bandits [0.0]
薬物再購入への適用を動機として, 線形バンディットモデルにおける最大平均のm $ge$ 1アームの同定に取り組むための最初のアルゴリズムを提案する。これらのアルゴリズムはgap-indexフォーカスアルゴリズム(gifa)のジェネリックファミリーに属し、線形バンドイットにおけるトップm識別に導入する。
論文参考訳（メタデータ） (2021-03-18T08:04:45Z)
Quickest Intruder Detection for Multiple User Active Authentication [74.5256211285431]
我々は,Multiple-user Quickest Intruder Detection (MQID)アルゴリズムを定式化する。より少ない観測サンプルで侵入者検出を行うデータ効率のシナリオにアルゴリズムを拡張した。顔のモダリティに基づく2つのAAデータセットに対する提案手法の有効性を評価した。
論文参考訳（メタデータ） (2020-06-21T21:59:01Z)
UC-Net: Uncertainty Inspired RGB-D Saliency Detection via Conditional Variational Autoencoders [81.5490760424213]
データラベリングプロセスから学習することで、RGB-Dサリエンシ検出に不確実性を利用するための第1のフレームワーク(UCNet)を提案する。そこで本研究では,サリエンシデータラベリングにヒントを得て,確率的RGB-Dサリエンシ検出ネットワークを提案する。
論文参考訳（メタデータ） (2020-04-13T04:12:59Z)
Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof [0.0]
本稿では,Ulrich Junker の QuickXPlain アルゴリズムの正当性を示す。他のアルゴリズムを証明するためのガイダンスとして使用できる。また、QuickXPlainによって計算された結果に依存するシステムの"ギャップレス"な正しさを提供する可能性も提供する。
論文参考訳（メタデータ） (2020-01-07T01:37:41Z)

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