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 reported by a vote tabulation system, corresponds to the correct candidates winning. If an initial vote count leads to the wrong election winner, an RLA guarantees to identify the error with high probability over its own randomness. These audits operate by sequentially sampling and examining ballots until they can either confirm the reported winner or identify the true winner.
The first part of this work suggests a new generic method, called ``Batchcomp", for converting classical (ballot-level) RLAs into ones that operate on batches. As a concrete application of the suggested method, we develop the first ballot-level RLA for the Israeli Knesset elections, and convert it to one which operates on batches. We ran the suggested ``Batchcomp" procedure on the results of 22nd, 23rd and 24th Knesset elections, both with and without errors.
The second part of this work suggests a new use-case for RLAs: verifying that a population census leads to the correct allocation of political power to a nation's districts or federal-states. We present an adaptation of ALPHA, an existing RLA method, to a method which applies to censuses. Our census-RLA is applicable in nations where parliament seats are allocated to geographical regions in proportion to their population according to a certain class of functions (highest averages). It relies on data from both the census and from an additional procedure which is already conducted in many countries today, called a post-enumeration survey.
Doing More With Less: Mismatch-Based Risk-Limiting Audits
Monash University（蒙纳士大学）；University of Melboure（墨尔本大学）；University of California, Berkeley（加州大学伯克利分校）；Australian National University（澳大利亚国立大学）；Thinking Cybersecurity Pty Ltd.（Thinking Cybersecurity有限公司）
Who Bears the Risk When Generative AI Enters Transport? A Distributional Sociotechnical Audit of Algorithmic Equity, Synthetic-Data Validity, and Public Trust
A Deployment Audit of Release-Side Risk in Conformal Triage under Prevalence Shift
University of Illinois Chicago（伊利诺伊大学芝加哥分校）；Manteia Technologies Co., Ltd（Manteia技术有限公司）；University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）；University of California Los Angeles（加州大学洛杉矶分校）
Click, Branch, Audit: A Decision-Tree Toolkit for Assessing Fundamental Rights Impacts under the Digital Services Act of Very Large Platforms & Search Engines
Delft University of Technology（代尔夫特理工大学）；Interdisciplinary Transformation University Austria（奥地利跨学科转型大学）；Leiden University（莱顿大学）；TU Delft（代尔夫特理工大学）；Inholland（因霍兰应用科学大学）
Technion - Israel Institute of Technology（以色列理工学院）；ALTER (Association for Long Term Existence and Resilience)（ALTER（长期存在与韧性协会））；Transformative Futures Institute（变革性未来研究所）；National Intelligence University（国家情报大学）
