作者位次 #3/11ICML 2026Poster
Pull Requests as a Training Signal for Repo-Level Code Editing
Qinglin Zhu · Tianyu Chen · Shuai Lu · Lei Ji · Runcong Zhao · Murong Ma · Xiangxiang Dai · Yulan He · Lin Gui · Peng CHENG · Yeyun Gong
首次获取该候选人的完整档案及 StartLux 评估共 20 积分；每位用户单独解锁，之后查看免费。主动刷新 20 积分。
实时查找电子邮箱，费用不超过20积分；未找到邮箱不扣费。
Qinglin Zhu · Tianyu Chen · Shuai Lu · Lei Ji · Runcong Zhao · Murong Ma · Xiangxiang Dai · Yulan He · Lin Gui · Peng CHENG · Yeyun Gong
Boyan Duan · Xiao Liang · Shuai Lu · Yaoxiang Wang · yelong shen · Kai-Wei Chang · Ying Nian Wu · Mao Yang · Weizhu Chen · Yeyun Gong
Automated theorem proving in Euclidean geometry, particularly for International Mathematical Olympiad (IMO) level problems, remains a major challenge and an important research focus in Artificial Intelligence. In this paper, we present a highly efficient method for geometry theorem proving that r...