BHT4QA: Bayesian Hypothesis Testing for Sample-Efficient Verification of Quantum Programs

This repository provides reference implementations of sequential Bayesian hypothesis testing (BHT) procedures to certify success probabilities of quantum states/circuits and quantum algorithms under finite-shot sampling. It also includes utilities to log experimental runs and summarize results as CSV for analysis.