@misc{zheng2026reuf2f,
  title={ReuF2F: Benchmarking Coding Agents on Formalized Undergraduate Research Problems},
  author={Zeyu Zheng and Yiyang Liu and Yuyang Zhao and Congmin Zheng and Jiachen Zhu and Jianian Chen and Kangning Zhang and Kayue Daniel Wong and Lingyu Yang and Rong Shan and Shihao Chen and Thomas Zhu and Wentao Zhang and Xiaopeng Li and Yan Hu and Yongxi Lin and Yuxiang Chen and Zhuoying Ou and Jianghao Lin and Jeremy Avigad and Prasad Tetali and Jingbang Chen and Sean Welleck},
  year={2026},
  eprint={2610.27046},
  archivePrefix={arXiv},
  primaryClass={cs.AI},
  url={https://arxiv.org/abs/2610.27046}
}