MiniF-2F
Emerging5papers using it
2024first seen
The 'minif2f' dataset/benchmark contains pairs of informal and formal mathematical statements and is used to evaluate the performance of models in the task of autoformalisation.
Papers using MiniF-2F (5)
- Goedel-Prover: A Frontier Model for Open-Source Automated Theorem
ProvingHybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and RefinementTopoAlign: 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