← all datasets

ProofNet

Emerging

3papers using it

433HF downloads

23HF likes

2025first seen

A dataset that evaluates formally proving and autoformalizing undergraduate mathematics.

🤗 Hugging Face⚖ mit

Papers using ProofNet (3)

MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation2025

Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers2025

EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving2025

ProofNet — datasets — llm-papers