6 papers
Towards a Certifying Grounder
Daimy Van Caudenberg, Alexander Ek, Carlos Cantero +1
Grounding, the translation of high-level theories into equivalent quantifier-free formulas, is a crucial step in declarative solving, yet it has so far escaped the proof-logging re…
Advances in STV Margin Computation
Michelle Blom, Alexander Ek, Peter J. Stuckey +2
Single transferable vote (STV) is a multi-winner preferential proportional electoral system. The margin is the smallest number of ballots that need to be manipulated to alter the s…
Doing More With Less: Mismatch-Based Risk-Limiting Audits
Alexander Ek, Michelle Blom, Philip B. Stark +3
One approach to risk-limiting audits (RLAs) compares randomly selected cast vote records (CVRs) to votes read by human auditors from the corresponding ballot cards. Historically, s…
To whom did my vote go?
Andrew Conway, Michelle Blom, Alexander Ek +3
Single Transferable Vote (STV) counting, used in several jurisdictions in Australia, is a system for choosing multiple election winners given voters' preferences among candidates.…
Efficient Lower Bounding of Single Transferable Vote Election Margins
Michelle Blom, Alexander Ek, Peter J. Stuckey +2
The single transferable vote (STV) is a system of preferential proportional voting employed in multi-seat elections. Each ballot cast by a voter is a (potentially partial) ranking…
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…