# ReuF2F: Бенчмаркинг агентов программирования на формализованных исследовательских задачах бакалавриата

> Полный текст доступен на английском

**Published:** 21 октября 2026 г.
**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/ru/articles/reuf2f-benchmarking-coding-agents-on-formalized-undergraduate-research-p

arXiv:2610.27046v1 Тип объявления: new Аннотация: Поскольку системы ИИ начинают решать открытые исследовательские проблемы, надежная верификация становится всё более важной. Формальная математика предоставляет надежную структуру для математического рассуждения, позволяя агентам создавать машино-проверяемые…

> Материал агрегирован из первоисточника: **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.*