TY  - RPRT
TI  - ReuF2F: Benchmarking Coding Agents on Formalized Undergraduate Research Problems
AU  - Zeyu Zheng
AU  - Yiyang Liu
AU  - Yuyang Zhao
AU  - Congmin Zheng
AU  - Jiachen Zhu
AU  - Jianian Chen
AU  - Kangning Zhang
AU  - Kayue Daniel Wong
AU  - Lingyu Yang
AU  - Rong Shan
AU  - Shihao Chen
AU  - Thomas Zhu
AU  - Wentao Zhang
AU  - Xiaopeng Li
AU  - Yan Hu
AU  - Yongxi Lin
AU  - Yuxiang Chen
AU  - Zhuoying Ou
AU  - Jianghao Lin
AU  - Jeremy Avigad
AU  - Prasad Tetali
AU  - Jingbang Chen
AU  - Sean Welleck
PY  - 2026
UR  - https://arxiv.org/abs/2610.27046
ID  - 2610.27046
ER  -