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, and Yeyun Gong, in ACL, 2026.

Code

Download the full text

Abstract

Source Code

Bib Entry

@inproceedings{duan2026gold,
  title = {Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions},
  author = {Duan, Boyan and Liang, Xiao and Lu, Shuai and Wang, Yaoxiang and Shen, Yelong and Chang, Kai-Wei and Wu, Ying Nian and Yang, Mao and Chen, Weizhu and Gong, Yeyun},
  booktitle = {ACL},
  year = {2026}
}

Related Publications

OpenThoughts: Data Recipes for Reasoning Models, ICLR, 2026
OpenVLThinker: Complex Vision-Language Reasoning via Iterative SFT-RL Cycles, NeurIPS, 2025
When To Solve, When To Verify: Compute-Optimal Problem Solving and Generative Verification for LLM Reasoning, COLM 2025, 2025
MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems?, ECCV, 2024
MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts, ICLR, 2024