datalicense

All datasets / math-ai

math-ai/AutoMathText

5,797 downloads in 30 days199 likesLast modified 16 Jul 2025View on Hugging Face
Possible licence conflict

The declared licence (cc-by-sa-4.0) and the licence detected in a repository file (cc-by-4.0) fall into different categories, so the licences may conflict.

Declared licence
cc-by-sa-4.0, from the tagEvidence: README.md at 221818c
Licence files
LICENSE, detected as cc-by-4.0Evidence: LICENSE at 221818c
Declared sources
None listed in the card metadata
Access gated on Hugging Face
No
math-ai/AutoMathTextmath-ai/AutoMathTextcc-by-sa-4.0: declared licencecc-by-sa-4.0declared licenceREADME.md ↗cc-by-4.0: licence filecc-by-4.0licence fileLICENSE ↗
math-ai/AutoMathTextmath-ai/AutoMat…cc-by-sa-4.0: declared licencecc-by-sa-4.0declared licenceREADME.md ↗cc-by-4.0: licence filecc-by-4.0licence fileLICENSE ↗
Red marks the licence the signal is based on. Each cell links to what was checked: a file, a file list or a Hub record.

Tasks

Citation text from the card

@article{zhang2025autonomous,
      title={Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts},
      author={Zhang, Yifan and Luo, Yifan and Yuan, Yang and Yao, Andrew Chi-Chih},
      journal={The 63rd Annual Meeting of the Association for Computational Linguistics (ACL 2025 Findings)},
      year={2025}
}

All datasets marked Possible licence conflict | 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": "math-ai/AutoMathText" })
signal: "conflict"
stated_licence: "cc-by-sa-4.0"
sources: 0