Author

Sirui Lu

Observed name: Lu, Sirui

Institutions: Max Planck Institute of Quantum Optics, Munich Center for Quantum Science and Technology

Observed institutions: Max Planck Institute of Quantum Optics, Munich Center for Quantum Science and Technology

OpenAlex ID: A5152143805

Long-horizon autoformalization of a core theorem underlying MIP* = RE

2026 · Lu, Sirui, Deng, Ruixuan, et al. · arXiv (Cornell University)

Works count: 1

Citation count:

H-index:

I10-index: