MiniF-2F

minif2f Dataset The minif2f dataset is a collection of mathematical problems and their formal statements, designed for formal mathematics and theorem proving tasks. Dataset Description Dataset Summary The minif2f dataset contains mathematical problems from various sources (like AMC competitions) along with their formal

Papers using MiniF-2F (5)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing2025Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving2025MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation2025Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers2025EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving2025