@misc{indiciaebe11d61916bc, title = {Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE}, author = {Alexander Ek and Philip B. Stark and Peter J. Stuckey and Damjan Vukcevic}, year = {2023}, doi = {10.1007/978-3-031-43756-4\_3}, url = {https://arxiv.org/abs/2307.10972}, note = {Source identifier: 2307.10972} }