Cite
Notes
Only stored in your browser.
Attribution
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems
arXiv 2024
from 1 papers
Roozbeh Yousefzadeh