This repository provides the processed version of the test split of the MiniF2F dataset, obtained from AI-MO/minif2f_test and used in Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs.
This process includes removing the unintelligible parts of theorem names, which the authors found in their experiments that LLMs often struggled to reliably reproduce.
See Appendix D.1 of the paper for more details… See the full description on the dataset page:
https://huggingface.co/datasets/kAIto47802/minif2f-test.
