Last but not least, #GradingBench has 1000 human grading data points from our IMO effort on the advanced IMO-ProofBench. To ensure a robust evaluation, the dataset has been balanced across 4 simplified grading categories (Correct, Almost, Partial, Incorrect). We released all

→ View original post on X — @lmthang