TY - RPRT TI - Probabilistically Checking Quantum Proofs, with Interaction AU - Baocheng Sun AU - Thomas Vidick PY - 2026 UR - https://arxiv.org/abs/2606.09588 ID - 2606.09588 ER -