English
Related papers

Related papers: Implementing Risk-Limiting Post-Election Audits in…

200 papers

We study the computational complexity of candidate control in elections with few voters, that is, we consider the parameterized complexity of candidate control in elections with respect to the number of voters as a parameter. We consider…

Artificial Intelligence · Computer Science 2017-03-21 Jiehua Chen , Piotr Faliszewski , Rolf Niedermeier , Nimrod Talmon

AWAIRE is one of two extant methods for conducting risk-limiting audits of instant-runoff voting (IRV) elections. In principle AWAIRE can audit IRV contests with any number of candidates, but the original implementation incurred memory and…

Computers and Society · Computer Science 2024-09-24 Alexander Ek , Michelle Blom , Philip B. Stark , Peter J. Stuckey , Damjan Vukcevic

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 widely used election of this type is Instant-Runoff Voting…

Computers and Society · Computer Science 2023-12-06 Michelle Blom , Peter J. Stuckey , Vanessa Teague , Damjan Vukcevic

Auditing is a widely used method for quality improvement, and many guidelines are available advising on how to draw samples for auditing. However, researchers or auditors sometimes find themselves in situations that are not straightforward…

Methodology · Statistics 2021-05-25 Laura Boeschoten , Sander Scholtus , Arnout van Delden

We introduce a simulation model of the port of Calais with a focus on the operation of immigration controls. Our aim is to compare the cost and benefits of different screening policies. Methodologically, we are trying to understand the…

Computational Engineering, Finance, and Science · Computer Science 2013-06-24 Galina Sherman , David Menachof , Peer-Olaf Siebers , Uwe Aickelin

Independent algorithm audits hold the promise of bringing accountability to automated decision-making. However, third-party audits are often hindered by access restrictions, forcing auditors to rely on limited, low-quality data. To study…

Human-Computer Interaction · Computer Science 2025-02-04 Juliette Zaccour , Reuben Binns , Luc Rocher

Indian Electronic Voting Machines (EVMs) will be fitted with printers that produce Voter-Verifiable Paper Audit Trails (VVPATs) in time for the 2019 general election. VVPATs provide evidence that each vote was recorded as the voter…

Cryptography and Security · Computer Science 2019-01-28 Vishal Mohanty , Nicholas Akinyokun , Andrew Conway , Chris Culnane , Philip B. Stark , Vanessa Teague

While manipulative attacks on elections have been well-studied, only recently has attention turned to attacks that account for geographic information, which are extremely common in the real world. The most well known in the media is…

Computer Science and Game Theory · Computer Science 2020-03-17 Zack Fitzsimmons , Omer Lev

Despite extensive theoretical research on proportionality in approval-based multiwinner voting, its impact on which committees and candidates can be selected in practice remains poorly understood. We address this gap by (i) analyzing the…

Computer Science and Game Theory · Computer Science 2025-11-13 Niclas Boehmer , Lara Glessen , Jannik Peters

We study the problem of bribery in multiwinner elections, for the case where the voters cast approval ballots (i.e., sets of candidates they approve) and the bribery actions are limited to: adding an approval to a vote, deleting an approval…

Computer Science and Game Theory · Computer Science 2021-04-20 Piotr Faliszewski , Piotr Skowron , Nimrod Talmon

The recent wave of attention to partisan gerrymandering has come with a push to refine or replace the laws that govern political redistricting around the country. A common element in several states' reform efforts has been the inclusion of…

Computers and Society · Computer Science 2020-05-27 Daryl DeFord , Moon Duchin , Justin Solomon

Taiwan's auditors have suffered from processing excessive audit data, including drawing audit evidence. This study advances sampling techniques by integrating machine learning with sampling. This machine learning integration helps avoid…

Machine Learning · Computer Science 2024-03-22 Guang-Yih Sheu , Nai-Ru Liu

Auditing algorithms' privacy typically involves simulating a game-based protocol that guesses which of two adjacent datasets was the original input. Traditional approaches require thousands of such simulations, leading to significant…

Cryptography and Security · Computer Science 2025-01-30 Zihang Xiang , Tianhao Wang , Di Wang

Analysis of vote distributions using current tools from statistical physics is of increasing interest. While data considered for physics studies are subject to a careful understanding of error sources, such analysis are almost absent in…

Physics and Society · Physics 2012-06-14 G. Báez , H. Hernández-Saldaña , R. A. Méndez-Sánchez

This article examines the overlooked risk of false negative errors arising from eliminations in forensic firearm comparisons. While recent reforms in forensic science have focused on reducing false positives, eliminations--often based on…

Applications · Statistics 2025-05-21 Maria Cuellar

We propose a restricted win probability estimand for comparing treatments in a randomized trial with a time-to-event outcome. We also propose Bayesian estimators for this summary measure as well as the unrestricted win probability. Bayesian…

Methodology · Statistics 2024-11-06 Michelle Leeberg , Xianghua Luo , Thomas A. Murray

Recent methods for auditing the privacy of machine learning algorithms have improved computational efficiency by simultaneously intervening on multiple training examples in a single training run. Steinke et al. (2024) prove that one-run…

Machine Learning · Computer Science 2026-02-23 Amit Keinan , Moshe Shenfeld , Katrina Ligett

Legal reform can be challenging in light of the volume, complexity, and interdependence of laws, codes, and records. One salient example of this challenge is the effort to restrict and remove racially restrictive covenants, clauses in…

Computation and Language · Computer Science 2025-03-12 Faiz Surani , Mirac Suzgun , Vyoma Raman , Christopher D. Manning , Peter Henderson , Daniel E. Ho

An electoral spoiler is usually defined as a losing candidate whose removal would affect the outcome by changing the winner. So far, spoiler effects have been analyzed primarily for single-winner electoral systems. We consider this subject…

Computer Science and Game Theory · Computer Science 2025-10-30 Daria Boratyn , Wojciech Słomczyński , Dariusz Stolicki , Stanisław Szufa

There is a tight connection between credit access and voting. We show that uncertainty in access to credit pushes voters toward more conservative candidates in US elections. Using a 1% sample of the US population with valid credit reports,…

General Economics · Economics 2024-07-10 Eleonora Brandimarti , Giacomo De Giorgi , Jeremy Laurent-Lucchetti