Probabilistically Checking Quantum Proofs, with Interaction - Baocheng Sun; Thomas Vidick (2026)