A benchmark of 184 undergraduate-level mathematics theorems and proofs, each manually annotated with a step-by-step logical dependency graph (DAG), for evaluating proof autoformalization — the task of translating a natural-language proof into faithful, machine-verifiable Lean 4 code.
PROOFFLOWBENCH is the evaluation benchmark introduced in ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization, accepted at ICLR 2026 (OpenReview · poster).… See the full description on the dataset page:
https://huggingface.co/datasets/rafaelcabral96/ProofFlowBench.
