pavelslab-nyu/LeanPRM

LeanPRM dataset and benchmark Natural-language proofs with aligned Lean tactics and step-level correctness labels. The dataset contains 10,634 proofs and 152,005 proof steps. Resource Proofs Files HF split LeanPRM training data 10,264 data/train.parquet train LeanPRM validation data 170 data/validation.parquet validation LeanPRM-Bench 200 benchmark/test.parquet test LeanPRM dataset The data folder contains the training and validation proofs.… See the full description on the dataset page: https://huggingface.co/datasets/pavelslab-nyu/LeanPRM.

<iframe src="https://silytics.si/embed/item/dc6fd31d-7a20-4282-be97-cfee8711f321" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

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