Talks

Talk on non-local games and MIPco=coRE, UT Austin Graduate Mini-school around Sofic Groups and the Connes Embedding Problem

• Slides for the introduction. 

• Slides for my talk.

• Some notes on the Arithmetization techniques (NEXP \in MIP).

MIPco=coRE, QIP 2026, Riga, Latvia

Tracially embeddable strategies, lifting MIP* tricks to MIPco. TQC 2024