FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning. - Xiaokai Zhang; Na Zhu; Yiming He; Jia Zou 004; Qike Huang; Xiaoxiao Jin; Yanjun Guo; Chenyang Mao; Zhe Zhu; Dengfeng Yue; Fangzhen Zhu; Yang Li 151; et al. (CoRR, 2023)

FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems. - Yiming He; Jia Zou 004; Xiaokai Zhang; Na Zhu; Tuo Leng (CoRR, 2024)

FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network. - Xiaokai Zhang; Na Zhu; Yiming He; Jia Zou 004; Cheng Qin; Yang Li 151; Zhenbing Zeng; Tuo Leng (CoRR, 2024)

FGeo-TP: A Language Model-Enhanced Solver for Euclidean Geometry Problems. - Yiming He; Jia Zou 004; Xiaokai Zhang; Na Zhu; Tuo Leng (Symmetry, 2024)

FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning. - Xiaokai Zhang; Na Zhu; Yiming He; Jia Zou 004; Cheng Qin; Yang Li 151; Tuo Leng (Symmetry, 2024)

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning. - Jia Zou 004; Xiaokai Zhang; Yiming He; Na Zhu; Tuo Leng (Symmetry, 2024)