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