phanerozoic/Lean4-Changelog-QA download history

phanerozoic/Lean4-Changelog-QA is a question answering dataset on the Hugging Face Hub. In the last 30 days it was downloaded 34 times (11 in the last 7 days), and 682 times in total. It ranks #248,325 among datasets by monthly downloads.

Lean 4 Changelog Q&A Dataset Dataset Description The Lean 4 Changelog Q&A Dataset is derived from the Lean4-Changelog. Each Lean 4 changelog entry (including version, section, pull request number, and description) is converted into a single Q&A pair. This allows for straightfor

Open phanerozoic/Lean4-Changelog-QA on Hugging Face

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