ProofNet

A dataset that evaluates formally proving and autoformalizing undergraduate mathematics.

Papers using ProofNet (3)

MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation2025Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers2025EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving2025