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.
Conversations for this repository live on Hugging Face.
CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face