TY  - RPRT
TI  - Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
AU  - Boyan Duan
AU  - Xiao Liang
AU  - Shuai Lu
AU  - Yaoxiang Wang
AU  - Yelong Shen
AU  - Kai-Wei Chang
AU  - Ying Nian Wu
AU  - Mao Yang
AU  - Weizhu Chen
AU  - Yeyun Gong
PY  - 2025
UR  - https://arxiv.org/abs/2512.00097
ID  - 2512.00097
ER  -