roozbeh-yz/IMO-Steps
IMO-Steps Dataset This dataset is a benchmark that consists of building blocks for 13 IMO problems, and also the complete formal proofs for 20 IMO problems. The topics cover a variety of concepts ranging from divisibility to finite sets and functions. All proof steps are written in Lean 4. All files compile with no error in Lean v4.17.0. The purpose of the dataset is to expose current theorem provers' ability in solving IMO problems and highlight their strengths and weaknesses.… See the full description on the dataset page: https://huggingface.co/datasets/roozbeh-yz/IMO-Steps.
| Author / organization | roozbeh-yz |
|---|---|
| Downloads | 191 (as reported by Hugging Face) |
| Likes | 3 |
| Created | 11 March 2025 |
| Last updated at source | 13 March 2025 |
Popularity, last 2 days
191 now (-1 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.
More from roozbeh-yz
- roozbeh-yz/miniF2F_v2Dataset
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.