TY - RPRT TI - Classical Verification of Quantum Computations AU - Urmila Mahadev PY - 2023 UR - https://arxiv.org/abs/1804.01082 ID - 1804.01082 ER -