4 papers
Dice, but don't slice: Optimizing the efficiency of ONEAudit
Jacob V Spertus, Amanda K Glazer, Philip B Stark
ONEAudit provides more efficient risk-limiting audits than other extant methods when the voting system cannot report a cast-vote record linked to each cast card. It obviates the ne…
Sequential stratified inference for the mean
Jacob V. Spertus, Mayuri Sridhar, Philip B. Stark
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" und…
Fast Conservative Monte Carlo Confidence Intervals
Amanda K. Glazer, Philip B. Stark
Extant "fast" algorithms for Monte Carlo confidence sets are limited to univariate shift parameters for the one-sample and two-sample problems using the sample mean as the test sta…
Sweeter than SUITE: Supermartingale Stratified Union-Intersection Tests of Elections
Jacob V. Spertus, Philip B. Stark
Stratified sampling can be useful in risk-limiting audits (RLAs), for instance, to accommodate heterogeneous voting equipment or laws that mandate jurisdictions draw their audit sa…