{
 "id": "davidfoss/verified-math-discovery-traces",
 "owner": "davidfoss",
 "name": "verified-math-discovery-traces",
 "downloads": 145,
 "likes": 0,
 "last_modified": "2026-10-03T06:03:29.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{foss2026traces,\n  author    = {Foss, David Tom},\n  title     = {Verified Math Discovery Traces: certified successes, near-misses and research decisions of an exact discovery system},\n  year      = {2026},\n  publisher = {Zenodo},\n  doi       = {10.5281/zenodo.23115961},\n  url       = {https://doi.org/10.5281/zenodo.23115961}\n}",
 "signal": "permissive",
 "reason": "The declared licence (cc-by-4.0) is classified as permissive.",
 "revision": "89ba01732bcd548e562077ab0e2f7943496dac80",
 "stated_evidence": "https://huggingface.co/datasets/davidfoss/verified-math-discovery-traces/blob/89ba01732bcd548e562077ab0e2f7943496dac80/README.md",
 "file_evidence": "https://huggingface.co/datasets/davidfoss/verified-math-discovery-traces/tree/89ba01732bcd548e562077ab0e2f7943496dac80",
 "card_nc": false
}