ReuF2F: Benchmarking Coding Agents on Formalized Undergraduate Research Problems
ReuF2F is introduced, a Lean 4 benchmark of 244 formalized open problems drawn from Research Experiences for Undergraduates (REU), spanning entry-level open research problems across a broad range of mathematical subfields and adopts a standard coding-agent evaluation setting.
Ze-Yu Zheng, Yi-Yan Liu, Yu-Yang Zhao et al.
· 0 citations