{
 "id": "iiis-lean/NuminaMath-LEAN-Proof-Artifacts",
 "owner": "iiis-lean",
 "name": "NuminaMath-LEAN-Proof-Artifacts",
 "downloads": 938,
 "likes": 0,
 "last_modified": "2026-03-09T06:55:49.000Z",
 "stated_licence": "apache-2.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [
  {
   "id": "AI-MO/NuminaMath-LEAN",
   "licence": "apache-2.0",
   "found": true,
   "evidence": "https://huggingface.co/datasets/project-numina/NuminaMath-LEAN/blob/51fa67f1f647ae1ecd81eef9f19306aa8a7b3a94/README.md"
  }
 ],
 "gated": false,
 "tasks": [
  "text-generation"
 ],
 "citation": "- [AI-MO/NuminaMath-LEAN](https://huggingface.co/datasets/AI-MO/NuminaMath-LEAN)\n\nPlease refer to the original dataset page for upstream attribution and licensing context.",
 "signal": "permissive",
 "reason": "The declared licence (apache-2.0) is classified as permissive.",
 "revision": "43f4ea4da40c48be8e89edb84cb0825d8a4dfe2d",
 "stated_evidence": "https://huggingface.co/datasets/iiis-lean/NuminaMath-LEAN-Proof-Artifacts/blob/43f4ea4da40c48be8e89edb84cb0825d8a4dfe2d/README.md",
 "file_evidence": "https://huggingface.co/datasets/iiis-lean/NuminaMath-LEAN-Proof-Artifacts/tree/43f4ea4da40c48be8e89edb84cb0825d8a4dfe2d",
 "card_nc": false
}