Fetching the paper…

HARP: A challenging human-annotated math reasoning benchmark · Around