HARP: A challenging human-annotated math reasoning benchmark

Open in new window