AI-MO/minif2f_test download history

AI-MO/minif2f_test is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 329 times (81 in the last 7 days), and 11,230 times in total. It ranks #45,656 among datasets by monthly downloads.

MiniF2F Dataset Usage The evaluation results of Kimina-Prover presented in our work are all based on this MiniF2F test set. Improvements We corrected several erroneous formalizations, since the original formal statements could not be proven. We list them in the follo

Open AI-MO/minif2f_test on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.