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)

Floating-Point Embedding: Enhancing the Mathematical Comprehension of Large Language Models. - Xiaoxiao Jin; Chenyang Mao; Dengfeng Yue; Tuo Leng (Symmetry, 2024)