APA (7th ed.) Citation

Lyu, Z., Yang, W., Zhang, S., & Huang, Z. (2026). Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics.

Chicago Style (17th ed.) Citation

Lyu, Zicheng, Wenjie Yang, Shengzhong Zhang, and Zengfeng Huang. Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics. 2026.

MLA (9th ed.) Citation

Lyu, Zicheng, et al. Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics. 2026.