Quantum parallel repetition

Source: url:https://github.com/openai/ten-proofs Authors: OpenAI, Dean Cureton Status: verified Main declarations: QuantumParallelRepetition.distributionUniformExponential Tags: quantum-information, nonlocal-games, parallel-repetition, theoretical-computer-science MSC: 81P68, 68Q12