uw-math-ai/theorem-search-dataset

452 downloads in 30 days26 likesLast modified 2 Oct 2026View on Hugging Face

The declared licence (cc-by-sa-4.0) is classified as share-alike.

Declared licence: cc-by-sa-4.0, from the tagEvidence: README.md at aaf30d7
Licence files: No licence file at the top level of the repositoryEvidence: file list at aaf30d7
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

@inproceedings{alexander2026semantic,
  author        = {Alexander, Luke and Leonen, Eric and Szeto, Sophie and Remizov, Artemii and Tejeda, Ignacio and Alper, Jarod and Inchiostro, Giovanni and Ilin, Vasily},
  title         = {Semantic Search over 9 Million Mathematical Theorems},
  booktitle     = {Advances in Neural Information Processing Systems},
  volume        = {39},
  year          = {2026},
  note          = {Evaluations and Datasets Track},
  archivePrefix = {arXiv},
  eprint        = {2602.05216},
  primaryClass  = {cs.IR},
  url           = {https://arxiv.org/abs/2602.05216}
}

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/theorem-search-dataset" })
signal: "permissive"
stated_licence: "cc-by-sa-4.0"
sources: 0