{
 "id": "Tinyhope/Prolog-MATH",
 "owner": "Tinyhope",
 "name": "Prolog-MATH",
 "downloads": 33,
 "likes": 3,
 "last_modified": "2025-12-06T16:36:58.000Z",
 "stated_licence": "mit",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [],
 "citation": "If you use this dataset, please cite:\n\n**Jiajun Chen and Yik-Cheung Tam. 2025.** *Predicate-Guided Generation for Mathematical Reasoning.*  \nIn *Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing*, pages 9097–9110, Suzhou, China.  \nAssociation for Computational Linguistics.  \n[https://aclanthology.org/2025.emnlp-main.462/](https://aclanthology.org/2025.emnlp-main.462/)\n\n---",
 "signal": "permissive",
 "reason": "The declared licence (mit) is classified as permissive.",
 "revision": "0aa6c9783d698ea3fbe5e71a76cfb01d2cd0d5af",
 "stated_evidence": "https://huggingface.co/datasets/Tinyhope/Prolog-MATH/blob/0aa6c9783d698ea3fbe5e71a76cfb01d2cd0d5af/README.md",
 "file_evidence": "https://huggingface.co/datasets/Tinyhope/Prolog-MATH/tree/0aa6c9783d698ea3fbe5e71a76cfb01d2cd0d5af",
 "card_nc": false
}