arxiv:2411.18872
Roozbeh Yousefzadeh
roozbeh-yz
AI & ML interests
None yet
Recent Activity
updated
a dataset
1 day ago
roozbeh-yz/IMO-Steps
authored
a paper
1 day ago
A Lean Dataset for International Math Olympiad: Small Steps towards
Writing Math Proofs for Hard Problems
published
a dataset
1 day ago
roozbeh-yz/IMO-Steps
Organizations
None yet
Papers
1