Probabilistically Checking Quantum Proofs, with Interaction

Baocheng Sun 0002, Thomas Vidick. Probabilistically Checking Quantum Proofs, with Interaction. In Dana Moshkovitz, editor, 41st Computational Complexity Conference, CCC 2026, Lisbon, Portugal, August 3-6, 2026. Volume 383 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]

Abstract

Abstract is missing.