Dataset · Hugging Face

PAug/ProofNetSharp

Name: ProofNetSharp
Creator: PAug
License: mit
Keywords: task_categories:translation, task_categories:text-generation, language:en, license:mit, size_categories:n<1K, format:parquet, modality:text, library:datasets, library:pandas, library:mlcroissant, library:polars, arxiv:2406.07222, arxiv:2302.12433, region:us, code

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.

View on Hugging FaceReport an issue

Author / organization	PAug
License (as declared)	mit
Downloads	1.5K (as reported by Hugging Face)
Likes	9
Created	5 February 2025
Last updated at source	24 March 2025

code

Embed this entry

<iframe src="https://silytics.si/embed/item/60a7dee8-bf6c-41a1-a981-5dca8e2db4e3" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Recent changes

16 Oct 2026 Description: 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. → 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.

Changes detected by Silytics between refreshes of the source.

More from PAug

PAug/ProofNetVerifDataset

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.