A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems Paper • 2411.18872 • Published Nov 28, 2024 • 1