TY - RPRT TI - Efficiently Batching Unambiguous Interactive Proofs AU - Bonnie Berger AU - Rohan Goyal AU - Matthew M. Hong AU - Yael Tauman Kalai PY - 2025 UR - https://arxiv.org/abs/2510.19075 ID - 2510.19075 ER -