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

Browse the full ACL paper archive.