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.
Quantum teleportation of a polarization state with a complete bell state measurement,
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.