Accurately determining the outcome of an election is a complex task with many potential
sources of error, ranging from software glitches in voting machines to procedural lapses to …

Risk-limiting audits (RLAs) for many social choice functions can be reduced to testing sets of
null hypotheses of the form “the average of this list is not greater than 1/2” for a collection of …

A procedure is a risk-limiting audit (RLA) with risk limit if it has probability at least of
correcting each wrong reported outcome and never alters correct outcomes. One efficient …

Risk-limiting audits (RLAs) are broadly accepted as the gold standard for tabulation audits:
when I count ballots using software, an RLA provides software-independent evidence that …

Risk-limiting audits (RLAs) are techniques for verifying the outcomes of large elections.
While they provide rigorous guarantees of correctness, widespread adoption has been …

Risk-limiting audits (RLAs) guarantee a high probability of correcting incorrect reported
electoral outcomes before the outcomes are certified. The most efficient are ballot-level …

We derive confidence intervals (CIs) and confidence sequences (CSs) for the classical
problem of estimating a bounded mean. Our approach generalizes and improves on the …

In this paper we present simulation results comparing the risk, stop** probability, and
number of ballots required over multiple rounds of ballot polling risk-limiting audits (RLAs) …

A Risk-Limiting Audit (RLA) is a statistical election tabulation audit with a rigorous error
guarantee. We present ballot polling RLA PROVIDENCE, an audit with the efficiency of …

Risk-limiting audits (RLAs) are rigorous statistical procedures meant to detect invalid
election results. RLAs examine paper ballots cast during the election to statistically assess …