@misc{indiciaefb9b9e4baf67,
  title = {Proposing and solving olympiad geometry with guided tree search},
  author = {Chi Zhang and Jiajun Song and Siyu Li and Yitao Liang and Yuxi Ma and Wei Wang and Yixin Zhu and Song-Chun Zhu},
  year = {2024},
  url = {https://arxiv.org/abs/2412.10673},
  note = {Source identifier: 2412.10673}
}