TY  - RPRT
TI  - FIMO: A Challenge Formal Dataset for Automated Theorem Proving
AU  - Chengwu Liu
AU  - Jianhao Shen
AU  - Huajian Xin
AU  - Zhengying Liu
AU  - Ye Yuan
AU  - Haiming Wang
AU  - Wei Ju
AU  - Chuanyang Zheng
AU  - Yichun Yin
AU  - Lin Li
AU  - Ming Zhang
AU  - Qun Liu
PY  - 2023
UR  - https://arxiv.org/abs/2309.04295
ID  - 2309.04295
ER  -