TY - RPRT TI - Proposing and solving olympiad geometry with guided tree search AU - Chi Zhang AU - Jiajun Song AU - Siyu Li AU - Yitao Liang AU - Yuxi Ma AU - Wei Wang AU - Yixin Zhu AU - Song-Chun Zhu PY - 2024 UR - https://arxiv.org/abs/2412.10673 ID - 2412.10673 ER -