← all datasets

ProofNet

Emerging

3papers using it

433HF downloads

23HF likes

2024first seen

A dataset that evaluates formally proving and autoformalizing undergraduate mathematics.

🤗 Hugging Face⚖ mit

Papers using ProofNet (3)

FormaRL: Enhancing Autoformalization with no Labeled Data2025 · 8 cites

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

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search2024 · 2 cites

ProofNet — datasets — reinforcement-learning