PAug/ProofNetSharp

ProofNet# ProofNet# is a Lean 4 port of the ProofNet benchmark including fixes. A comparison with previous Lean 4 ports can be found at: https://proofnet4-fix.streamlit.app/. This benchmark is compatible with all Lean versions between v4.7.0 and v4.16.0-rc2. Original Dataset Summary ProofNet is a benchmark for autoformalization and formal proving of undergraduate-level mathematics. The ProofNet benchmarks consists of 371 examples, each consisting of a formal… See the full description on the dataset page: https://huggingface.co/datasets/PAug/ProofNetSharp.