Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math

Published in ACL, 2026

Recommended citation: Shrey Pandit, Austin Xu, Xuan-Phi Nguyen, Yifei Ming, Caiming Xiong, Shafiq Joty (2025). Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math. ACL 2026.
Paper Link: https://arxiv.org/abs/2510.13744

Abstract

This work introduces a benchmark for evaluating step-level verification on open-ended frontier mathematics.