ZDCSlab/proofatlas-enriched download history

ZDCSlab/proofatlas-enriched is a feature extraction dataset on the Hugging Face Hub. In the last 30 days it was downloaded 90 times (12 in the last 7 days), and 462 times in total. It ranks #123,726 among datasets by monthly downloads.

ProofAtlas Enriched Dataset v1 ProofAtlas Enriched combines theorem-disjoint Lean retrieval splits with LLM-generated theorem semantic and strategy enrichment. It is designed for premise-retrieval research, theorem-neighborhood retrieval, and qualitative retrieval-evidence analysis.

Open ZDCSlab/proofatlas-enriched on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.