@misc{indiciae692da13da509,
  title = {A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems},
  author = {Roozbeh Yousefzadeh and Xuenan Cao and Azim Ospanov},
  year = {2025},
  url = {https://arxiv.org/abs/2411.18872},
  note = {Source identifier: 2411.18872}
}