Scalable tests of quantum contextuality from stabilizer-testing nonlocal games
The paper develops systematic methods to upper-bound classical performance in stabilizer-testing games, which are used to prove quantum contextuality for stabilizer states. It shows that if a game has a quantum advantage, its classical value is bounded by specific fractions like 7/8 or 3/4 for certain states. This provides rigorous proofs of how quantum systems outperform classical ones.