Dataset · Hugging Face

1337xyz1337xyz/leandojo-benchmark4-v10

Name: leandojo-benchmark4-v10
Creator: 1337xyz1337xyz
License: apache-2.0
Keywords: language:en, license:apache-2.0, size_categories:100K<n<1M, format:json, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, region:us, lean, lean4, theorem-proving, leandojo, mathlib

LeanDojo Benchmark 4 v10 This repository mirrors the official LeanDojo Benchmark 4 v10 archive used by plan-crl LeanDojo experiments. Source archive: https://zenodo.org/records/12740403/files/leandojo_benchmark_4.tar.gz?download=1 Metadata from the original archive: dataset: LeanDojo Benchmark 4 LeanDojo version: 2.0.0 source repository: https://github.com/leanprover-community/mathlib4 source commit: 29dcec074de168ac2bf835a77ef68bbe069194c5 creation time: 2024-07-02… See the full description on the dataset page: https://huggingface.co/datasets/1337xyz1337xyz/leandojo-benchmark4-v10.

View on Hugging FaceReport an issue

Author / organization	1337xyz1337xyz
License (as declared)	apache-2.0
Downloads	212 (as reported by Hugging Face)
Likes	1
Created	1 May 2026
Last updated at source	1 May 2026

leanlean4theorem-provingleandojomathlibplan-crl

Embed this entry

<iframe src="https://silytics.si/embed/item/c3509910-37c6-4694-973c-dbeece72eb97" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 4 days

212 now (-8 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

Recent changes

16 Oct 2026 Description: LeanDojo Benchmark 4 v10 This repository mirrors the official LeanDojo Benchmark 4 v10 archive used by plan-crl LeanDojo experiments. Source archive: https://zenodo.org/records/12740403/files/leandojo_benchmark_4.tar.gz?download=1 Metadata → LeanDojo Benchmark 4 v10 This repository mirrors the official LeanDojo Benchmark 4 v10 archive used by plan-crl LeanDojo experiments. Source archive: https://zenodo.org/records/12740403/files/leandojo_benchmark_4.tar.gz?download=1 Metadata

Changes detected by Silytics between refreshes of the source.

More from 1337xyz1337xyz

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