MiniF-2F
Emerging5papers using it
2024first seen
The 'minif-2f' dataset/benchmark contains pairs of informal and formal mathematical statements and is used to evaluate the performance of Large Language Models (LLMs) in the task of autoformalisation.
Papers using MiniF-2F (5)
- HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and RefinementGoedel-Prover: A Frontier Model for Open-Source Automated Theorem
ProvingTopoAlign: A Framework for Aligning Code to Math via Topological DecompositionInternLM-Math: Open Math Large Language Models Toward Verifiable
ReasoningDeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for
Reinforcement Learning and Monte-Carlo Tree Search