# ReuF2F: 在形式化本科生研究问题上对编程代理进行基准测试

> 全文为英语

**Published:** 2026年10月21日
**Author:** Zeyu Zheng, Yiyang Liu, Yuyang Zhao, Congmin Zheng, Jiachen Zhu, Jianian Chen, Kangning Zhang, Kayue Daniel Wong, Lingyu Yang, Rong Shan, Shihao Chen, Thomas Zhu, Wentao Zhang, Xiaopeng Li, Yan Hu, Yongxi Lin, Yuxiang Chen, Zhuoying Ou, Jianghao Lin, Jeremy Avigad, Prasad Tetali, Jingbang Chen, Sean Welleck
**Source:** arXiv — cs.AI
**Language:** en-US
**HTML:** https://aiqazaqstan.com/zh/articles/reuf2f-benchmarking-coding-agents-on-formalized-undergraduate-research-p

arXiv:2610.27046v1 通告类型: new 摘要: 随着AI系统开始解决开放研究问题，可靠验证变得越来越重要。形式化数学为数学推理提供了可信框架，使代理能够生成机器可验证的…

> 内容来自原始来源： **arXiv — cs.AI**
> [在 arXiv — cs.AI 阅读全文](https://arxiv.org/abs/2610.27046)

**标签：** #arXiv

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*