Yanqiao Zhu

最新发表

Sirui Lu, Ruixuan Deng, Yanqiao Zhu, Zhengfeng Ji (2026). Long-horizon autoformalization of a core theorem underlying MIP* = RE. arXiv（预印本）.

PDF 引用 arXiv