JWei05/Polaris-hard-w-solutions-24209

Polaris-Hard-w-Solutions 24,209 hard competition-math problems (the hardest difficulty bands of the Polaris dataset) paired with two verified solutions each: a full original solution and a concise summarized solution. Every retained problem has a machine-verifiable final answer, every solution's boxed answer grades correct against the reference (sympy-based grading), and the summarized solutions have additionally been put through a reasoning-rigor pass (see step 5 below). This… See the full description on the dataset page: https://huggingface.co/datasets/JWei05/Polaris-hard-w-solutions-24209.