output
20202026
most citedAuditing Hamiltonian Elections

8 citations

Showing cs.CYShow all

5 papers · 1 filter

cs.CY2025

3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections

Michelle Blom, Alexander Ek, Peter J. Stuckey +2

Constructing efficient risk-limiting audits (RLAs) for multiwinner single transferable vote (STV) elections is a challenging problem. An STV RLA is designed to statistically verify…

cs.CY2023★ 1 cited

Risk-Limiting Audits for Condorcet Elections

Michelle Blom, Peter J. Stuckey, Vanessa Teague +1

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 wi…

cs.CY2021★ 3 cited

A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections

Michelle Blom, Peter J. Stuckey, Vanessa Teague +1

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…

cs.CY2021

Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections

Michelle Blom, Jurlind Budurushi, Ronald L. Rivest +4

Risk-limiting audits (RLAs), an ingredient in evidence-based elections, are increasingly common. They are a rigorous statistical means of ensuring that electoral results are correc…

cs.CY2021★ 8 cited

Auditing Hamiltonian Elections

Michelle Blom, Philip B. Stark, Peter J. Stuckey +2

Presidential primaries are a critical part of the United States Presidential electoral process, since they are used to select the candidates in the Presidential election. While met…