@misc{zhang2024formalgeo,
      title={FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving}, 
      author={Xiaokai Zhang and Na Zhu and Yiming He and Jia Zou and Qike Huang and Xiaoxiao Jin and Yanjun Guo and Chenyang Mao and Yang Li and Zhe Zhu and Dengfeng Yue and Fangzhen Zhu and Yifan Wang and Yiwen Huang and Runan Wang and Cheng Qin and Zhenbing Zeng and Shaorong Xie and Xiangfeng Luo and Tuo Leng},
      year={2024},
      eprint={2310.18021},
      archivePrefix={arXiv},
      primaryClass={cs.AI}
}