10 citations · 12 across the 4 of their papers we have counts for
1 paper · 2 filters
Chengwu Liu, Jianhao Shen, Huajian Xin +9
We present FIMO, an innovative dataset comprising formal mathematical problem statements sourced from the International Mathematical Olympiad (IMO) Shortlisted Problems. Designed t…