Dataset · Hugging Face

anon-ed-2026/Leandata

Name: Leandata
Creator: anon-ed-2026
License: cc-by-4.0
Keywords: task_categories:text-generation, task_categories:question-answering, language:en, license:cc-by-4.0, size_categories:n<1K, format:json, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, region:us, science, stem, formal-methods

LEANDATA A collection of Lean-formalized STEM problem-solving examples across physics, chemistry, calculus, probability, and related domains. Dataset summary Dataset page: https://huggingface.co/datasets/anon-ed-2026/Leandata Total examples: 580 Loading with datasets from datasets import load_dataset ds = load_dataset("anon-ed-2026/Leandata", "atkins") print(ds["train"][0]["problem_id"])

View on Hugging FaceReport an issue

Author / organization	anon-ed-2026
License (as declared)	cc-by-4.0
Downloads	171 (as reported by Hugging Face)
Likes	2
Created	3 May 2026
Last updated at source	5 May 2026

sciencestemformal-methodstheorem-provinglean4

Embed this entry

<iframe src="https://silytics.si/embed/item/6fe99abe-060b-46a6-bade-91f63ef742aa" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 3 days

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

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