@misc{indiciae7b6884d9ff8f,
  title = {FIMO: A Challenge Formal Dataset for Automated Theorem Proving},
  author = {Chengwu Liu and Jianhao Shen and Huajian Xin and Zhengying Liu and Ye Yuan and Haiming Wang and Wei Ju and Chuanyang Zheng and Yichun Yin and Lin Li and Ming Zhang and Qun Liu},
  year = {2023},
  url = {https://arxiv.org/abs/2309.04295},
  note = {Source identifier: 2309.04295}
}