ProofNet

A dataset that evaluates formally proving and autoformalizing undergraduate mathematics.

Papers using ProofNet (2)

TopoAlign: A Framework for Aligning Code to Math via Topological Decomposition2025DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search2024 · 2 cites