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

Shrey Pandit, Austin Xu, Xuan-Phi Nguyen, Yifei Ming, Caiming Xiong, Shafiq Joty

Browse the full ACL paper archive.