{
 "id": "cahlen/zaremba-conjecture-data",
 "owner": "cahlen",
 "name": "zaremba-conjecture-data",
 "downloads": 1197,
 "likes": 0,
 "last_modified": "2026-04-23T11:17:40.000Z",
 "stated_licence": "cc-by-4.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [],
 "citation": "@misc{humphreys2026zaremba,\n  author = {Humphreys, Cahlen and Claude (Anthropic)},\n  title = {Zaremba's Conjecture: Computational Proof Framework Data},\n  year = {2026},\n  publisher = {Hugging Face},\n  url = {https://huggingface.co/datasets/cahlen/zaremba-conjecture-data}\n}",
 "signal": "permissive",
 "reason": "The declared licence (cc-by-4.0) is classified as permissive.",
 "revision": "c48ece1bc1a90efc9ba5f5d26dccef72645a3c89",
 "stated_evidence": "https://huggingface.co/datasets/cahlen/zaremba-conjecture-data/blob/c48ece1bc1a90efc9ba5f5d26dccef72645a3c89/README.md",
 "file_evidence": "https://huggingface.co/datasets/cahlen/zaremba-conjecture-data/tree/c48ece1bc1a90efc9ba5f5d26dccef72645a3c89",
 "card_nc": false
}