Hot Topics: MIP* = RE and the Connes’ Embedding Problem: "Model-Theoretic Consequences of MIP*=RE"
Presenter
October 19, 2023
Keywords:
- MIP*
- interactive proofs
- nonlocal games
- low-degree testing
- self-testing
- Tsirelson’s problem
- Connes’ embedding problem