Bayesian sequential verification reduces measurement costs for quantum programs by updating decisions incrementally using priors from reference runs or ideal simulations, outperforming fixed budgets when success probability exceeds the threshold.
Software testing in the quantum world,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Bayesian Sequential Verification for Budget-Aware Quantum Program Testing
Bayesian sequential verification reduces measurement costs for quantum programs by updating decisions incrementally using priors from reference runs or ideal simulations, outperforming fixed budgets when success probability exceeds the threshold.