{
 "id": "amphora/ExpertMath",
 "owner": "amphora",
 "name": "ExpertMath",
 "downloads": 75,
 "likes": 0,
 "last_modified": "2026-03-03T06:55:17.000Z",
 "stated_licence": "mit",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [],
 "citation": "@article{son2026judging,\n  title={Judging What We Cannot Solve: A Consequence-Based Approach for Oracle-Free Evaluation of Research-Level Math},\n  author={Son, Guijin and Yang, Donghun and Patel, Hitesh Laxmichand and Ko, Hyunwoo and Agarwal, Amit and Ahn, Sunghee and Lee, Kyong-Ha and Yu, Youngjae},\n  journal={arXiv preprint arXiv:2602.06291},\n  year={2026}\n}",
 "signal": "permissive",
 "reason": "The declared licence (mit) is classified as permissive.",
 "revision": "b9a8a244de0ca812539ba9a29c212b96fe9b0b89",
 "stated_evidence": "https://huggingface.co/datasets/amphora/ExpertMath/blob/b9a8a244de0ca812539ba9a29c212b96fe9b0b89/README.md",
 "file_evidence": "https://huggingface.co/datasets/amphora/ExpertMath/tree/b9a8a244de0ca812539ba9a29c212b96fe9b0b89",
 "card_nc": false
}