uw-math-ai/math-graph

308 downloads in 30 days11 likesLast modified 28 Jun 2026View on Hugging Face

The declared licence (cc-by-4.0) is classified as permissive.

Declared licence: cc-by-4.0, from the tagEvidence: README.md at ced4ca9
Licence files: No licence file at the top level of the repositoryEvidence: file list at ced4ca9
Declared sources: None listed in the card metadata
Access gated on Hugging Face: No

Each cell links to what was checked: a file, a file list or a Hub record.

Tasks

Citation text from the card

@misc{kurgan2026theoremgraph,
  title         = {TheoremGraph: Bridging Formal and Informal Mathematics},
  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},
  year          = {2026},
  eprint        = {2606.25363},
  archivePrefix = {arXiv},
  primaryClass  = {cs.IR},
  url           = {https://arxiv.org/abs/2606.25363}
}

All datasets marked Permissive or share-alike | JSON

The same facts for your agent

A free MCP server at mcp.datalicense.uk/mcp. Connect it from an MCP client such as Claude or Cursor.

dataset_licence({ "id": "uw-math-ai/math-graph" })
signal: "permissive"
stated_licence: "cc-by-4.0"
sources: 0