TY  - RPRT
TI  - FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
AU  - Xiaokai Zhang
AU  - Na Zhu
AU  - Yiming He
AU  - Jia Zou
AU  - Qike Huang
AU  - Xiaoxiao Jin
AU  - Yanjun Guo
AU  - Chenyang Mao
AU  - Yang Li
AU  - Zhe Zhu
AU  - Dengfeng Yue
AU  - Fangzhen Zhu
AU  - Yifan Wang
AU  - Yiwen Huang
AU  - Runan Wang
AU  - Cheng Qin
AU  - Zhenbing Zeng
AU  - Shaorong Xie
AU  - Xiangfeng Luo
AU  - Tuo Leng
PY  - 2024
UR  - https://arxiv.org/abs/2310.18021
ID  - 2310.18021
ER  -