33 citations · 33 across the 2 of their papers we have counts for
2 papers
quant-ph2025
A convergent sum-of-squares hierarchy for compiled nonlocal games
David Cui, Chirag Falor, Anand Natarajan +1
We continue the line of work initiated by Kalai et al. (STOC '23), studying "compiled" nonlocal games played between a classical verifier and a single quantum prover, with cryptogr…
quant-ph2020★ 33 cited
MIP*=RE
Zhengfeng Ji, Anand Natarajan, Thomas Vidick +2
We show that the class MIP* of languages that can be decided by a classical verifier interacting with multiple all-powerful quantum provers sharing entanglement is equal to the cla…