Cita APA (7a ed.)

Ying, H., Wu, Z., Geng, Y., Yuan, Z., Lin, D., & Chen, K. (2024). Lean Workbook: A large-scale Lean problem set formalized from natural language math problems.

Cita Chicago Style (17a ed.)

Ying, Huaiyuan, Zijian Wu, Yihan Geng, Zheng Yuan, Dahua Lin, y Kai Chen. Lean Workbook: A Large-scale Lean Problem Set Formalized from Natural Language Math Problems. 2024.

Cita MLA (9a ed.)

Ying, Huaiyuan, et al. Lean Workbook: A Large-scale Lean Problem Set Formalized from Natural Language Math Problems. 2024.