TY - RPRT TI - Sequential Audit Sampling for Finite Populations with Exact and Simulation-based Guarantee AU - Masahiro Kato AU - Kei Nakagawa PY - 2026 UR - https://arxiv.org/abs/2604.06116 ID - 2604.06116 ER -