Sirui Lu

最新发表

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

PDF 引用 arXiv

Sirui Lu, Shilin Huang, Keren Li, Jun Li, Jianxin Chen, Dawei Lu, Zhengfeng Ji, Yi Shen, Duanlu Zhou, Bei Zeng (2018). Separability-entanglement classifier via machine learning. Physical Review A.