notadib/AOBench download history
notadib/AOBench is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 320 times (124 in the last 7 days), and 320 times in total. It ranks #46,687 among datasets by monthly downloads.
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