Cita APA (7a ed.)

Yousefzadeh, R., Cao, X., & Ospanov, A. (2024). A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems.

Cita Chicago Style (17a ed.)

Yousefzadeh, Roozbeh, Xuenan Cao, y Azim Ospanov. A Lean Dataset for International Math Olympiad: Small Steps Towards Writing Math Proofs for Hard Problems. 2024.

Cita MLA (9a ed.)

Yousefzadeh, Roozbeh, et al. A Lean Dataset for International Math Olympiad: Small Steps Towards Writing Math Proofs for Hard Problems. 2024.