{
 "id": "FrenzyMath/Herald_proofs",
 "owner": "FrenzyMath",
 "name": "Herald_proofs",
 "downloads": 192,
 "likes": 5,
 "last_modified": "2025-05-13T11:23:36.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": "2d31b459df74d730bff85682de237d894b4eecfa",
 "stated_evidence": "https://huggingface.co/datasets/FrenzyMath/Herald_proofs/blob/2d31b459df74d730bff85682de237d894b4eecfa/README.md",
 "file_evidence": "https://huggingface.co/datasets/FrenzyMath/Herald_proofs/tree/2d31b459df74d730bff85682de237d894b4eecfa",
 "card_nc": false
}