phanerozoic/Coq-Changelog-QA download history

phanerozoic/Coq-Changelog-QA is a question answering dataset on the Hugging Face Hub. In the last 30 days it was downloaded 56 times (10 in the last 7 days), and 689 times in total. It ranks #171,127 among datasets by monthly downloads.

Coq Changelog Q&A Dataset Dataset Description The Coq Changelog Q&A Dataset is an extension of the original Coq Changelog Dataset, transforming each changelog entry into two Question–Answer pairs via two distinct prompts. One focuses on a straightforward query about the change

Open phanerozoic/Coq-Changelog-QA on Hugging Face

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