FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.
Xiaokai ZhangNa ZhuYiming HeJia ZouQike HuangXiaoxiao JinYanjun GuoChenyang MaoZhe ZhuDengfeng YueFangzhen ZhuYang LiYifan WangYiwen HuangRunan WangCheng QinZhenbing ZengShaorong XieXiangfeng LuoTuo LengPublished in: CoRR (2023)