ALPHA: Audit that Learns from Previously Hand-Audited Ballots. (arXiv:2201.02707v7 [stat.ME] UPDATED)

BRAVO, the most widely tried method for risk-limiting election audits, cannot
accommodate sampling without replacement or stratified sampling, which can
improve efficiency and may be required by law. It applies only to
ballot-polling audits, which are less efficient than comparison audits. It
applies to plurality, majority, super-majority, proportional representation,
and ranked-choice voting contests, but not to many social choice functions for
which there are RLA methods, such as approval voting, STAR-voting, Borda count,
and general scoring rules. And while BRAVO …

audit ballots