TY - RPRT TI - Non-Signaling Proofs with $O(\sqrt{\log n})$ Provers are in PSPACE AU - Dhiraj Holden AU - Yael Kalai PY - 2020 UR - https://arxiv.org/abs/1910.02590 ID - 1910.02590 ER -