Cita APA (7a ed.)

Xie, Z., Liu, X., & Zhang, S. (2026). MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries.

Cita Chicago Style (17a ed.)

Xie, Zixuan, Xinyu Liu, y Shangtong Zhang. MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries. 2026.

Cita MLA (9a ed.)

Xie, Zixuan, et al. MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries. 2026.