{
 "id": "FrenzyMath/Herald_statements",
 "owner": "FrenzyMath",
 "name": "Herald_statements",
 "downloads": 470,
 "likes": 2,
 "last_modified": "2025-05-13T11:23:13.000Z",
 "stated_licence": "apache-2.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [],
 "citation": "@inproceedings{\ngao2025herald,\ntitle={Herald: A Natural Language Annotated Lean 4 Dataset},\nauthor={Guoxiong Gao and Yutong Wang and Jiedong Jiang and Qi Gao and Zihan Qin and Tianyi Xu and Bin Dong},\nbooktitle={The Thirteenth International Conference on Learning Representations},\nyear={2025},\nurl={https://openreview.net/forum?id=Se6MgCtRhz}\n}",
 "signal": "permissive",
 "reason": "The declared licence (apache-2.0) is classified as permissive.",
 "revision": "d8d849682ecfba92dda26026a97e10a662187f4c",
 "stated_evidence": "https://huggingface.co/datasets/FrenzyMath/Herald_statements/blob/d8d849682ecfba92dda26026a97e10a662187f4c/README.md",
 "file_evidence": "https://huggingface.co/datasets/FrenzyMath/Herald_statements/tree/d8d849682ecfba92dda26026a97e10a662187f4c",
 "card_nc": false
}