×
2024
Floating-Point Embedding: Enhancing the Mathematical Comprehension of Large Language Models.
[DOI]
Xiaoxiao Jin
,
Chenyang Mao
,
Dengfeng Yue
,
Tuo Leng
Symmetry, April, 2024
2023
FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.
[DOI]
Xiaokai Zhang
,
Na Zhu
,
Yiming He
,
Jia Zou
,
Qike Huang
,
Xiaoxiao Jin
,
Yanjun Guo
,
Chenyang Mao
,
Zhe Zhu
,
Dengfeng Yue
,
Fangzhen Zhu
,
Yang Li
,
Yifan Wang
,
Yiwen Huang
,
Runan Wang
,
Cheng Qin
,
Zhenbing Zeng
,
Shaorong Xie
,
Xiangfeng Luo
,
Tuo Leng
CoRR, 2023