← all datasets

ProofNet

Emerging
2papers using it
424HF downloads
23HF likes
2026first seen

A dataset that evaluates formally proving and autoformalizing undergraduate mathematics.

🤗 Hugging Face⚖ mit

Papers using ProofNet (2)

ProofNet — datasets — ai-agents