← all datasets

MiniF-2F

Emerging
2papers using it
2026first seen

The 'MiniF-2F' dataset/benchmark contains formal proofs and is used to evaluate the performance of theorem provers in generating and verifying formal statements.

🔎 Find this dataset

Papers using MiniF-2F (2)

MiniF-2F — datasets — ai-agents