Junqiao (Randy) Lin: MIPᶜᵒ=coRE. STOC 2026: 314-322