{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T18:56:59Z","timestamp":1781031419961,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T00:00:00Z","timestamp":1780963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"ERC","award":["ASC-Q, 101040624"],"award-info":[{"award-number":["ASC-Q, 101040624"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,9]]},"DOI":"10.1145\/3798129.3800751","type":"proceedings-article","created":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T17:53:56Z","timestamp":1781027636000},"page":"314-322","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["MIP\u1d9c\u1d52=coRE"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0959-6704","authenticated-orcid":false,"given":"Junqiao (Randy)","family":"Lin","sequence":"first","affiliation":[{"name":"Centrum Wiskunde & Informatica, Amsterdam, Netherlands"},{"name":"QuSoft, Amsterdam, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.2977\/prims\/1195190105"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/278298.278306"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/273865.273901"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","unstructured":"Jananan Arulseelan and Aareyan Manzoor. 2025. The Universal Theory of Locally Universal Tracial von Neumann Algebras Is Not Computable. arxiv:2508.21709. https:\/\/doi.org\/10.48550\/arXiv.2508.21709 10.48550\/arXiv.2508.21709","DOI":"10.48550\/arXiv.2508.21709"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01200056"},{"key":"e_1_3_2_1_6_1","unstructured":"Mohammad Bavarian Thomas Vidick and Henry Yuen. 2021. Anchored Parallel Repetition for Nonlocal Games. arXiv:1509.07466 [quant-ph] March arxiv:1509.07466."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.98.042336"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCC.2004.1313847"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","unstructured":"Richard Cleve William Slofstra Falk Unger and Sarvagya Upadhyay. 2008. Strong Parallel Repetition Theorem for Quantum XOR Proof Systems. arxiv:quant-ph\/0608146. https:\/\/doi.org\/10.48550\/arXiv.quant-ph\/0608146 10.48550\/arXiv.quant-ph\/0608146","DOI":"10.48550\/arXiv.quant-ph\/0608146"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2307\/1971057"},{"key":"e_1_3_2_1_12_1","unstructured":"Mikael de la Salle. 2022. Spectral Gap and Stability for Groups and Non-Local Games. arxiv:2204.07084."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"Mikael de La Salle and Amine Marrakchi. 2023. Almost Synchronous Correlations and Tomita-Takesaki Theory. Oct. https:\/\/doi.org\/10.48550\/arXiv.2307.08129 10.48550\/arXiv.2307.08129","DOI":"10.48550\/arXiv.2307.08129"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.67.661"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-2014-12170-8"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","unstructured":"Isaac Goldbring and Thomas Sinclair. 2025. On Definability of C*-Tensor Norms. arxiv:2509.15086. https:\/\/doi.org\/10.48550\/arXiv.2509.15086 10.48550\/arXiv.2509.15086","DOI":"10.48550\/arXiv.2509.15086"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1704187"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2020.2986740"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","unstructured":"Zhengfeng Ji Anand Natarajan Thomas Vidick John Wright and Henry Yuen. 2022. MIP*=RE. arxiv:2001.04383. https:\/\/doi.org\/10.48550\/arXiv.2001.04383 10.48550\/arXiv.2001.04383","DOI":"10.48550\/arXiv.2001.04383"},{"key":"e_1_3_2_1_20_1","unstructured":"Zhengfeng Ji Anand Natarajan Thomas Vidick John Wright and Henry Yuen. 2022. Quantum Soundness of Testing Tensor Codes. arxiv:2111.08131."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/262244"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","unstructured":"Junqiao Lin. 2024. Tracial Embeddable Strategies: Lifting MIP* Tricks to MIPco. arxiv:2304.01940. https:\/\/doi.org\/10.48550\/arXiv.2304.01940 10.48550\/arXiv.2304.01940","DOI":"10.48550\/arXiv.2304.01940"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","unstructured":"Junqiao Lin. 2025. MIPco=coRE. arxiv:2510.07162. https:\/\/doi.org\/10.48550\/arXiv.2510.07162 10.48550\/arXiv.2510.07162","DOI":"10.48550\/arXiv.2510.07162"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519935.3519949"},{"key":"e_1_3_2_1_25_1","unstructured":"Anand Natarajan and John Wright. 2019. NEEXP in MIP*. arxiv:1904.05870."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/10\/7\/073013"},{"key":"e_1_3_2_1_27_1","unstructured":"Seyed Sajjad Nezhadi Andrew Marks and Henry Yuen. 2025. The Recursive Compression Method for Proving Undecidability Results. In preparation."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","unstructured":"Narutaka Ozawa. 2013. About the Connes Embedding Conjecture\u2014Algebraic Approaches\u2014. arxiv:1212.1700. https:\/\/doi.org\/10.48550\/arXiv.1212.1700 10.48550\/arXiv.1212.1700","DOI":"10.48550\/arXiv.1212.1700"},{"key":"e_1_3_2_1_29_1","unstructured":"Michael Sipser. 2006. Introduction to the Theory of Computation. Thomson Course Technology. isbn:978-0-619-21764-8"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01663472"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1063\/5.0056512"}],"event":{"name":"STOC '26: 58th Annual ACM Symposium on Theory of Computing","location":"Salt Lake City UT USA","acronym":"STOC '26","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 58th Annual ACM Symposium on Theory of Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3798129.3800751","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T17:58:57Z","timestamp":1781027937000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3798129.3800751"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,9]]},"references-count":31,"alternative-id":["10.1145\/3798129.3800751","10.1145\/3798129"],"URL":"https:\/\/doi.org\/10.1145\/3798129.3800751","relation":{},"subject":[],"published":{"date-parts":[[2026,6,9]]},"assertion":[{"value":"2026-06-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}