datalicense

All datasets / kumarjau1998

kumarjau1998/SMT2025

69 downloads in 30 days0 likesLast modified 11 Oct 2026View on Hugging Face
Use restrictions

The declared licence (cc-by-nc-sa-4.0) is classified as having use restrictions.

Declared licence
cc-by-nc-sa-4.0, from the tagEvidence: README.md at 312750c
Licence files
LICENSE, detected as cc-by-nc-sa-4.0Evidence: LICENSE at 312750c
Declared sources
None listed in the card metadata
Access gated on Hugging Face
No
kumarjau1998/SMT2025kumarjau1998/SMT2025cc-by-nc-sa-4.0: declared licencecc-by-nc-sa-4…declared licenceREADME.md ↗cc-by-nc-sa-4.0: licence filecc-by-nc-sa-4…licence fileLICENSE ↗
kumarjau1998/SMT2025kumarjau1998/SM…cc-by-nc-sa-4.0: declared licencecc-by-nc-sa-4…declared licenceREADME.md ↗cc-by-nc-sa-4.0: licence filecc-by-nc-sa-4…licence fileLICENSE ↗
Each cell links to what was checked: a file, a file list or a Hub record.

Tasks

Citation text from the card

CC BY-NC-SA 4.0. Attribution: MathArena/smt_2025; original contest organizers. This release adds generated solutions, sketches, outlines, metadata, and documented exclusions. See `provenance.json` for source/parser pins and answer-check records.

All datasets marked Use restrictions | 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": "kumarjau1998/SMT2025" })
signal: "restrictive"
stated_licence: "cc-by-nc-sa-4.0"
sources: 0