Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
Abstract
Boyan Duan, Xiao Liang, Shuai Lu, Yaoxiang Wang, Yelong Shen, Kai-Wei Chang, Ying Nian Wu, Mao Yang, Weizhu Chen, Yeyun Gong. Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2026.
Fields of Study & Subjects
Polynomial and algebraic computation
Mathematics Education and Teaching Techniques
Constraint Satisfaction and Optimization
Publication details
- Pages
- 21725–21747
- Publication date
- 1 January 2026