@misc{indiciae893c08a00490,
  title = {Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions},
  author = {Boyan Duan and Xiao Liang and Shuai Lu and Yaoxiang Wang and Yelong Shen and Kai-Wei Chang and Ying Nian Wu and Mao Yang and Weizhu Chen and Yeyun Gong},
  year = {2025},
  url = {https://arxiv.org/abs/2512.00097},
  note = {Source identifier: 2512.00097}
}