Yanqiao Zhu | 清华大学计算机系量子软件研究中心 https://quantum.cs.tsinghua.edu.cn/author/yanqiao-zhu/ Yanqiao Zhu Hugo Blox Builder (https://hugoblox.com)zh-HansThu, 17 Sep 2026 00:00:00 +0000 https://quantum.cs.tsinghua.edu.cn/media/icon_hu_4bddb5895fb575d1.png Yanqiao Zhu https://quantum.cs.tsinghua.edu.cn/author/yanqiao-zhu/ Long-horizon autoformalization of a core theorem underlying MIP* = RE https://quantum.cs.tsinghua.edu.cn/publication/lu-2026-long-horizon-autoformalization-of-a-core-theorem-underlying-mip-re/ Thu, 17 Sep 2026 00:00:00 +0000 https://quantum.cs.tsinghua.edu.cn/publication/lu-2026-long-horizon-autoformalization-of-a-core-theorem-underlying-mip-re/