RiLACS: risk limiting audits via confidence sequences
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 …
sources of error, ranging from software glitches in voting machines to procedural lapses to …
A first approach to risk-limiting audits for single transferable vote elections
Risk-limiting audits (RLAs) are an increasingly important method for checking that the
reported outcome of an election is, in fact, correct. Indeed, their use is increasingly being …
reported outcome of an election is, in fact, correct. Indeed, their use is increasingly being …
RLAs for 2-Seat STV Elections: Revisited
Single Transferable Vote (STV) elections are a principled approach to electing multiple
candidates in a single election. Each ballot has a starting value of 1, and a candidate is …
candidates in a single election. Each ballot has a starting value of 1, and a candidate is …
Non (c) esuch Ballot-Level Comparison Risk-Limiting Audits
PB Stark - European Symposium on Research in Computer …, 2022 - Springer
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 …
electoral outcomes before the outcomes are certified. The most efficient are ballot-level …
The Decisive Power of Indecision: Low-Variance Risk-Limiting Audits and Election Contestation via Marginal Mark Recording
Risk-limiting audits (RLAs) are the established techniques for verifying large elections. While
they provide rigorous guarantees of correctness, widespread adoption has been impeded …
they provide rigorous guarantees of correctness, widespread adoption has been impeded …
Adaptive Risk-Limiting Comparison Audits
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 …
election results. RLAs examine paper ballots cast during the election to statistically assess …
Risk-Limiting Audits for Condorcet Elections
Elections where electors rank the candidates (or a subset of the candidates) in order of
preference allow the collection of more information about the electors' intent. The most …
preference allow the collection of more information about the electors' intent. The most …
New Algorithms and Applications for Risk-Limiting Audits
B Karov, M Naor - arXiv preprint arXiv:2305.04050, 2023 - arxiv.org
Risk-limiting audits (RLAs) are a significant tool in increasing confidence in the accuracy of
elections. They consist of randomized algorithms which check that an election's vote tally, as …
elections. They consist of randomized algorithms which check that an election's vote tally, as …
Risk-Limiting Audits for Condorcet Elections
D Vukcevic - Financial Cryptography and Data Security. FC 2023 …, 2023 - books.google.com
Elections where electors rank the candidates (or a subset of the candidates) in order of
preference allow the collection of more information about the electors' intent. The most …
preference allow the collection of more information about the electors' intent. The most …
Advances in anytime-valid sequential inference
I Waudby-Smith - kilthub.cmu.edu
This thesis contains some advances in the field of “anytime-valid sequential inference”, a
paradigm of statistical inference where confidence intervals, p-values, and hypothesis tests …
paradigm of statistical inference where confidence intervals, p-values, and hypothesis tests …