{
 "id": "uw-math-ai/theorem-matching",
 "owner": "uw-math-ai",
 "name": "theorem-matching",
 "downloads": 209,
 "likes": 3,
 "last_modified": "2026-06-26T04:37:52.000Z",
 "stated_licence": "cc-by-sa-4.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [
  "text-retrieval",
  "text-classification"
 ],
 "citation": "@misc{theoremgraph2026,\n  title  = {TheoremGraph: A Statement-Level Dependency Graph Bridging Informal and Formal Mathematics},\n  author = {Kurgan, Simon and Wang, Evan and Leonen, Eric and Szeto, Sophie and Alexander, Luke and Remizov, Artemii and Alper, Jarod and Inchiostro, Giovanni and Ilin, Vasily},\n  year   = {2026},\n  note   = {Dataset: https://huggingface.co/datasets/uw-math-ai/theorem-matching}\n}",
 "signal": "permissive",
 "reason": "The declared licence (cc-by-sa-4.0) is classified as share-alike.",
 "revision": "5caba941dd716f17dba4880bd7173edfb1cc36d1",
 "stated_evidence": "https://huggingface.co/datasets/uw-math-ai/theorem-matching/blob/5caba941dd716f17dba4880bd7173edfb1cc36d1/README.md",
 "file_evidence": "https://huggingface.co/datasets/uw-math-ai/theorem-matching/tree/5caba941dd716f17dba4880bd7173edfb1cc36d1",
 "card_nc": false
}