AI-MO/minif2f_test
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 following table. All our improvements are made based on the MiniF2F test set provided by DeepseekProverV1.5, which applies certain modifications to the original dataset to adapt it to the… See the full description on the dataset page: https://huggingface.co/datasets/AI-MO/minif2f_test.
| Author / organization | AI-MO |
|---|---|
| License (as declared) | apache-2.0 |
| Downloads | 424 (as reported by Hugging Face) |
| Likes | 9 |
| Created | 11 December 2024 |
| Last updated at source | 4 July 2025 |
Popularity, last 2 days
424 now (+1 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.
Recent changes
- 16 Oct 2026 Description: 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 → 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
Changes detected by Silytics between refreshes of the source.
More from AI-MO
- AI-MO/NuminaMath-CoTDataset
- AI-MO/olympiadsDataset
- AI-MO/NuminaMath-1.5Dataset
- AI-MO/aopsDataset
- AI-MO/aimo-validation-aimeDataset
- AI-MO/NuminaMath-TIRDataset
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.