notadib/AOBench

AOBench: Advanced Olympiad Benchmark AOBench contains 35 hard, non-geometry problems from 2026 mathematical olympiads and selection tests, with reviewed proofs, strategy sketches of at most 25 words, and three-step outlines. Its size and difficulty are comparable to the IMO-ProofBench Advanced dataset. We also include the 22 non-geometry problems subset used in our study, with matching annotations. The dataset accompanies When Does Long Thinking Help? Predicting Mathematical… See the full description on the dataset page: https://huggingface.co/datasets/notadib/AOBench.

<iframe src="https://silytics.si/embed/item/b924dcb8-9c31-40f6-9ee3-7fc3424dafbd" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.