Fugu-MT 論文翻訳(概要): Verifying a Sparse Matrix Algorithm Using Symbolic Execution

論文の概要: Verifying a Sparse Matrix Algorithm Using Symbolic Execution

arxiv url: http://arxiv.org/abs/2510.13424v1
Date: Wed, 15 Oct 2025 11:23:32 GMT
ステータス: 翻訳完了
システム内更新日: 2025-10-16 20:13:28.641575
Title: Verifying a Sparse Matrix Algorithm Using Symbolic Execution
Title（参考訳）: 記号実行を用いたスパース行列アルゴリズムの検証
Authors: Alexander C. Wilton,
Abstract要約: 従来の単体テストと同様、シンボリックな実行を使ってテストを記述する方法について概説する。より強力な検証保証を提供し、この方法論をスパース行列アルゴリズムに適用する。
参考スコア（独自算出の注目度）: 51.56484100374058
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Scientific software is, by its very nature, complex. It is mathematical and highly optimized which makes it prone to subtle bugs not as easily detected by traditional testing. We outline how symbolic execution can be used to write tests similar to traditional unit tests while providing stronger verification guarantees and apply this methodology to a sparse matrix algorithm.
Abstract（参考訳）: 科学ソフトウェアは、その性質上、複雑です。数学的かつ高度に最適化されているため、従来のテストほど簡単に検出できない微妙なバグが生じる傾向がある。従来の単体テストと同じようなテストを書くためにシンボリックな実行がいかに有効かを説明し、より強力な検証保証を提供し、この方法論をスパース行列アルゴリズムに適用するかを概説する。

関連論文リスト

Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances [44.0167033148715]
ハードサーキットSATインスタンスを分解する新しい並列アルゴリズムを提案する。本手法はパラメータ化並列アルゴリズムとして実装され,パラメータの調整により高品質な分解を効率的に同定できる。
論文参考訳（メタデータ） (2026-02-19T07:05:48Z)
Block encoding of sparse matrices with a periodic diagonal structure [67.45502291821956]
周期的な対角構造を持つスパース行列を符号化するための明示的な量子回路を提供する。本手法の様々な応用は, 微分問題を解く文脈で論じる。
論文参考訳（メタデータ） (2026-02-11T07:24:33Z)
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking [54.43083499412643]
言語モデルの生成能力をプロセス検証器と組み合わせたテストタイムアルゴリズムは、新しい推論能力を引き出すための有望なレバーを提供する。提案手法は, 理論的に根拠付きバックトラックを用いて, 検証誤差に対して, 確実な堅牢性を実現するための新しいプロセス誘導型テスト時間サンプリングアルゴリズムであるVGBを導入する。
論文参考訳（メタデータ） (2025-10-03T16:21:14Z)
CASET: Complexity Analysis using Simple Execution Traces for CS* submissions [0.0]
CS1 や CS2 コースで学生の提出を自動アップグレードする最も一般的な方法は、事前に定義されたテストスイートに対して実行し、結果と参照結果を比較することである。この手法は、解の正しさが、結果を得るために使われるアルゴリズムのような単純な出力を超えると利用できない。動的トレースと教師なし機械学習を用いてアルゴリズムの時間的複雑さを解析する新しいツールCASETを提案する。
論文参考訳（メタデータ） (2024-10-20T15:29:50Z)
Benchmarking Uncertainty Quantification Methods for Large Language Models with LM-Polygraph [83.90988015005934]
不確実性定量化は機械学習アプリケーションにおいて重要な要素である。最新のUQベースラインの集合を実装した新しいベンチマークを導入する。我々は、11タスクにわたるUQと正規化技術に関する大規模な実証的研究を行い、最も効果的なアプローチを特定した。
論文参考訳（メタデータ） (2024-06-21T20:06:31Z)
Learning to sample fibers for goodness-of-fit testing [0.0]
離散指数族モデルに対する完全適合性テストを構築することの問題点を考察する。この問題をマルコフ決定プロセスに変換し、サンプリングのための「よい動きを学ぶための強化学習アプローチ」を示す。提案アルゴリズムは,評価可能な収束性を持つアクタ・クリティカル・サンプリング方式に基づいている。
論文参考訳（メタデータ） (2024-05-22T19:33:58Z)
Precise Error Rates for Computationally Efficient Testing [67.30044609837749]
本稿では,計算複雑性に着目した単純な対数-単純仮説テストの問題を再考する。線形スペクトル統計に基づく既存の試験は、I型とII型の誤差率の間の最良のトレードオフ曲線を達成する。
論文参考訳（メタデータ） (2023-11-01T04:41:16Z)
Test Primitive:A Straightforward Method To Decouple March [0.3535583356641669]
本稿では,3月アルゴリズムを解析するための新しいテストプリミティブを提案する。テストプリミティブは、対応する障害を検出するためにマーチアルゴリズムが保持しなければならない共通の特徴を記述している。
論文参考訳（メタデータ） (2023-08-30T03:18:34Z)
FastDiagP: An Algorithm for Parallelized Direct Diagnosis [64.65251961564606]
FastDiagは、競合を事前に決定せずに診断計算をサポートする典型的な直接診断アルゴリズムである。本稿では,投機的プログラミングのアイデアに基づく新しいアルゴリズムであるFastDiagPを提案する。このメカニズムは、高速な回答で一貫性チェックを提供し、アルゴリズムのランタイムパフォーマンスを高めるのに役立つ。
論文参考訳（メタデータ） (2023-05-11T16:26:23Z)
Genetic Algorithms for Redundancy in Interaction Testing [0.6396288020763143]
インタラクションテストには一連のテストの設計が含まれており、少数のコンポーネントが連携して動作する場合、障害を検出することが保証される。これらのテストスイートを構築するための既存のアルゴリズムは通常、ほとんどのテストを生成する1つの"高速"アルゴリズムと、テストスイートを"完全"する別の"より遅い"アルゴリズムを含んでいる。我々は、これらのアプローチを一般化する遺伝的アルゴリズムを用いて、選択したアルゴリズムの数を増やして冗長性も含み、それを「ステージ」と呼ぶ。
論文参考訳（メタデータ） (2020-02-13T10:16:46Z)

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