%0 Journal Article %1 journals/corr/abs-2310-18021 %A Zhang, Xiaokai %A Zhu, Na %A He, Yiming %A Zou, Jia %A Huang, Qike %A Jin, Xiaoxiao %A Guo, Yanjun %A Mao, Chenyang %A Zhu, Zhe %A Yue, Dengfeng %A Zhu, Fangzhen %A Li, Yang %A Wang, Yifan %A Huang, Yiwen %A Wang, Runan %A Qin, Cheng %A Zeng, Zhenbing %A Xie, Shaorong %A Luo, Xiangfeng %A Leng, Tuo %D 2023 %J CoRR %K dblp %T FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning. %U http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-18021 %V abs/2310.18021

@article{journals/corr/abs-2310-18021, added-at = {2024-07-18T00:00:00.000+0200}, author = {Zhang, Xiaokai and Zhu, Na and He, Yiming and Zou, Jia and Huang, Qike and Jin, Xiaoxiao and Guo, Yanjun and Mao, Chenyang and Zhu, Zhe and Yue, Dengfeng and Zhu, Fangzhen and Li, Yang and Wang, Yifan and Huang, Yiwen and Wang, Runan and Qin, Cheng and Zeng, Zhenbing and Xie, Shaorong and Luo, Xiangfeng and Leng, Tuo}, biburl = {https://www.bibsonomy.org/bibtex/23ef8a5354439634e62166bb98f385d44/dblp}, ee = {https://doi.org/10.48550/arXiv.2310.18021}, interhash = {39b390f67ec11483c4982397f1977345}, intrahash = {3ef8a5354439634e62166bb98f385d44}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-07-22T07:11:48.000+0200}, title = {FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-18021}, volume = {abs/2310.18021}, year = 2023 }