Session 8B - No-Signaling Proofs with O(sqrt(log n)) Provers is in PSPACE

STOC 2020