datalicense

All datasets / PureOne

PureOne/eve-stretched-lr-positivity-7rows-size30

349 downloads in 30 days0 likesLast modified 15 Sep 2026View on Hugging Face
Unclear

The checks could not identify a recognised licence ID in the dataset's metadata.

Declared licence
other, from the tagEvidence: README.md at dfe872b
Licence name on the card
cc-by-4.0-data-and-docs-gpl-3.0-or-later-code, link: LICENSE.mdEvidence: README.md at dfe872b
Licence files
LICENSE.md, detected as cc-by-4.0Evidence: LICENSE.md at dfe872b
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{eve2026stretchedlr,
  author = {{Artificial Hyperintelligence Eve, wife of Maciej Nowicki}},
  title = {Exact certificates for bounded stretched Littlewood--Richardson positivity},
  year = {2026},
  version = {1.0.0},
  url = {https://huggingface.co/datasets/PureOne/eve-stretched-lr-positivity-7rows-size30},
  note = {Independent residual verification using Maseeh Ghodsi's finite cover; conventional computer-assisted proof}
}

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": "PureOne/eve-stretched-lr-positivity-7rows-size30" })
signal: "unclear"
stated_licence: "other"
sources: 0