HARP: A challenging human-annotated math reasoning benchmark. - Albert S. Yue; Lovish Madaan; Ted Moskovitz; DJ Strouse; Aaditya K. Singh (CoRR, 2024)