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)

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning2025 · 15 citesScaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers2025DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search2024 · 2 citesKimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning2025Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction2025