Papers › Sequential stratified inference for the mean
Sequential stratified inference for the mean
Jacob V. Spertus, Mayuri Sridhar, Philip B. Stark
The archive published only this paper's code-link row. Authors, date and abstract are from arXiv's metadata (CC0), read from the Kaggle arXiv metadata snapshot of 2026-09-12 where its title matched the archive's; the title is the archive's.
We develop conservative tests for the mean of a bounded population under stratified sampling and apply them to risk-limiting post-election audits. The tests are "anytime valid" under sequential sampling, allowing optional stopping in each stratum. Our core method expresses a global hypothesis about the population mean as a union of intersection hypotheses describing within-stratum means. It tests each intersection hypothesis using a test supermartingale (TSM) combined across strata by multiplication. A P-value for each intersection hypothesis is the reciprocal of that TSM, and the largest P-value in the union is a P-value for the global hypothesis. This approach has two primary moving parts: the rule selecting which stratum to draw from next, and the form of the TSM within each stratum. These rules may vary over intersection hypotheses. We construct intersection tests with the smallest expected sample size and propagate them to approximate an efficient global test. In instances that arise in auditing and other applications, its expected sample size is substantially smaller than that of previous methods.
Code
Repository list and official/mentioned flags are the archive's, frozen 2025-07-28. Reachability, where shown, is from one Syntology probe window (2026-09-16 to 2026-09-18); repositories not probed show nothing. GitHub stars are not tracked.
Code Syntology ran Syntology
Not run by Syntology. Nothing on this page verifies that the listed code works.
Results from the paper archive 2025-07-28
No leaderboard rows for this paper in the archive.
Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections