output
20202026
most citedAuditing Hamiltonian Elections

8 citations

10 papers

cs.CV2026

DD-INR: Dynamics-Driven Implicit Neural Representation for Accelerated Whole-Brain Functional MRI Reconstruction

Qiaoxin Li, Caini Pan, Pierre-Antoine Comby +2

Accelerated acquisition of fMRI enables enhanced detection of neurovascular (BOLD) activity in the brain, but image reconstruction becomes challenging with high k-space undersampli…

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…

eess.SP2024

SNAKE-fMRI: A modular fMRI data simulator from the space-time domain to k-space and back

Pierre-Antoine Comby, Alexandre Vignaud, Philippe Ciuciu

We propose a new, modular, open-source, Python-based 3D+time fMRI data simulation software, \emph{SNAKE-fMRI}, which stands for \emph{S}imulator from \emph{N}eurovascular coupling…

cs.GT2024★ 1 cited

RLAs for 2-Seat STV Elections: Revisited

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

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

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…

stat.AP2022★ 3 cited

Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model

Floyd Everest, Michelle Blom, Philip B. Stark +3

Instant-runoff voting (IRV) is used in several countries around the world. It requires voters to rank candidates in order of preference, and uses a counting algorithm that is more…

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…

stat.AP2020★ 6 cited

A Unified Evaluation of Two-Candidate Ballot-Polling Election Auditing Methods

Zhuoqun Huang, Ronald L. Rivest, Philip B. Stark +2

Counting votes is complex and error-prone. Several statistical methods have been developed to assess election accuracy by manually inspecting randomly selected physical ballots. Tw…