論文の概要: Design-Time Conformance Checking for Pulse-Level Quantum Control

• arxiv url: http://arxiv.org/abs/2610.10427v1
• Date: Wed, 07 Oct 2026 17:07:35 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-08 21:58:23.066605
• Title: Design-Time Conformance Checking for Pulse-Level Quantum Control
• Title（参考訳）: パルスレベル量子制御のための設計時コンフォーマンスチェック
• Abstract要約: qconformは、デバイス上でパルスプログラムが実現可能であるかどうかを決定するチェッカーである。 判決、適用されたルール、チェックしていないものを指定するカバレッジマニフェストを報告している。 評価の結果、チェッカーとその記述子に10の欠陥が見つかり、すべて修正された。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: A pulse-level quantum control program is written against a device whose limits are recorded, if at all, in vendor documentation and source code. A program that exceeds them can be refused at compile time. It can also be accepted and silently altered, or compile and then fail at the board. In the last two cases the experiment runs, and the data does not correspond to the program that was written. We present qconform, a checker that decides whether a pulse program is realizable on a device, given a versioned capability descriptor for that device. Every constraint in a descriptor cites the toolchain observation that established it. The checker is design-time, offline, and deterministic, and it uses no floating point. It reports a verdict, the rules it applied, and a coverage manifest that names what it did not check. We evaluate qconform by differential testing against the QICK and Qblox toolchains, on three QICK board configurations and one Qblox cluster. Over 1263 program runs of 969 distinct programs, the checker accepted no program that a toolchain refuses. On both vendors, a descriptor pinned to one toolchain release accepts programs that older releases refuse. The evaluation also found ten defects in the checker and its descriptors, all fixed.
• Abstract（参考訳）: パルスレベルの量子制御プログラムは、ベンダーのドキュメントやソースコードに制限が記録されているデバイスに対して記述される。 それらを超えるプログラムはコンパイル時に拒否することができる。 受け入れて、静かに変更したり、コンパイルしたりして、ボードで失敗することもできます。 最後の2つのケースでは、実験は実行され、データは書かれたプログラムに対応しない。 本稿では,デバイス上でパルスプログラムが実現可能かどうかを判定するチェッカーであるqconformについて述べる。 ディスクリプタ内のすべての制約は、それを確立したツールチェーンの観察を引用する。 チェッカーは設計時、オフライン、決定論的であり、浮動小数点を使用しない。 判決、適用されたルール、チェックしていないものを指定するカバレッジマニフェストを報告している。 QICK と Qblox のツールチェーンに対する差分試験により,QICK ボード構成と 1 の Qblox クラスタ上でqconform を評価する。 1263以上のプログラムは969の異なるプログラムで実行され、チェッカーはツールチェーンが拒否するプログラムを受け入れなかった。 どちらのベンダーも、ひとつのツールチェーンリリースにピン留めされたディスクリプタは、古いリリースが拒否するプログラムを受け入れます。 評価の結果、チェッカーとその記述子に10の欠陥が見つかり、すべて修正された。

関連論文リスト

• PyINE: A Framework for Scalable Elicitation and Oversight via Code Execution [68.74093425009342]
  推論モデルは、コストが安いが誤解を招くショートカットにデフォルトを保ちながら、タスクを解決できる。 PyINEはPythonのインスツルメンテーションプログラムを使ってスケーラブルなエレケーションと監視を行うフレームワークである。 PyINE-v1は100万近い決定論的実行トレースから構築された最初のリリースです。
  論文  参考訳（メタデータ） (2026-10-03T20:03:43Z)
• QEVOLVE-Bench: A Seed Benchmark for Quantum SDK Evolution and Repair Planning [0.0]
  量子ソフトウェアは、Qiskit、PennyLane、Cirqといった高速で動くPython SDK上にますます構築されている。 QEVOLVE-Benchは、量子SDK進化のための小さな実行可能シードベンチマークである。
  論文  参考訳（メタデータ） (2026-08-25T05:07:15Z)
• How Far Are We from Detecting Flaky Tests? On the Limits of Code-Based Detection [41.369102837712795]
  燃えるようなテストは同じコードバージョンでパスしてフェールし、テスト結果のシグナルを弱める。 コードベースのフレキネス検出器は強力なベンチマーク結果を報告しているが、実際の使用は限られている。 フレキネスはテストコードの静的な特性ではなく、テストが不安定かどうかを決定するのに必要な情報が欠けていることが多い、と私たちは主張する。
  論文  参考訳（メタデータ） (2026-07-10T12:24:25Z)
• PairCoder++: Pair Programming as a Universal Paradigm for Verified Code-Driven Multimodal and Structured-Artifact Generation [51.92442051257354]
  PairCoderは、実行のみではなく、完全な公式メトリックスイート上で、アーティファクトが検証可能なすべてのベンチマークを本質的に改善する。 TikZのコンパイルレートは、各モデルで10から30ポイント、シングルモデルの2.9から9.2倍である。
  論文  参考訳（メタデータ） (2026-07-02T08:36:02Z)
• Bayesian control for coding agents [63.64172141184361]
  本稿では,コーディングエージェントのためのコスト依存型シーケンシャル仮説テストフレームワークを提案する。 ベイズ管制官は、正確性に対する信念を維持し、より多くの証拠を集め、候補者を精査し、検証し、停止するかを決定する。 本研究では, 信頼状態が, 不確実性定量化のためのトークン確率と生ツール・サクセスベースラインを上回り, 解釈可能な正当性スコアを得ることを示す。
  論文  参考訳（メタデータ） (2026-06-23T11:41:32Z)
• AnyPoC: Universal Proof-of-Concept Test Generation for Scalable LLM-Based Bug Detection [21.99631570872796]
  我々は、AnyPoCという一般的なマルチエージェントフレームワークを紹介し、バグレポートを分析し、ファクトチェックする。 AnyPoCは真陽性のバグレポートに対して1.3倍有効なPoCを生成し、偽陽性のバグレポートの9.8倍を拒否する。 これまでにAnyPoCは122の新たなバグ(確認105、すでに86)を発見し、45の生成されたPoCを公式回帰テストとして採用している。
  論文  参考訳（メタデータ） (2026-04-13T18:44:02Z)
• VibeTensor: System Software for Deep Learning, Fully Generated by AI Agents [42.56489784841984]
  実装の変更が生成され、エージェントが提案する差分として適用される。 アーキテクチャを説明し、システムの生成と検証に使用するワークフローを要約し、アーティファクトを評価する。
  論文  参考訳（メタデータ） (2026-01-21T19:29:00Z)
• Efficient Formal Verification of Quantum Error Correcting Programs [8.093125434802317]
  本稿では,量子誤り訂正(QEC)プログラムの効率的な検証フレームワークを提案する。 提案するプログラムロジックをCoq証明アシスタントで定式化し,QEC検証器として検証する。 検証された安定化器符号14のベンチマークを示す。
  論文  参考訳（メタデータ） (2025-04-10T13:28:49Z)
• Fault-Aware Neural Code Rankers [64.41888054066861]
  サンプルプログラムの正しさを予測できる故障認識型ニューラルネットワークローダを提案する。 我々のフォールト・アウェア・ローダは、様々なコード生成モデルのpass@1精度を大幅に向上させることができる。
  論文  参考訳（メタデータ） (2022-06-04T22:01:05Z)

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

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