TY - RPRT TI - Compiling Any $\mathsf{MIP}^{*}$ into a (Succinct) Classical Interactive Argument AU - Andrew Huang AU - Yael Tauman Kalai PY - 2025 UR - https://arxiv.org/abs/2510.08495 ID - 2510.08495 ER -