一作ACL 2026Poster· Natural Language Processing
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
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...