All datasets / internlm

internlm/AdvancedMathBench

225 downloads in 30 days1 likesLast modified 29 Sep 2026View on Hugging Face

Unclear

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

Declared licence: Not declared in the tag or the card (see datasets with no declared licence)Evidence: README.md at 936cf4c
Licence files: LICENSE_STATUS.md, licence not identifiedEvidence: LICENSE_STATUS.md at 936cf4c
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

text-generation

Citation text from the card

@misc{kong2026advancedmathbenchbenchmarksuiteadvanced,
  title = {AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification},
  author = {Lingkai Kong and Zijian Wu and Yuzhe Gu and Haiteng Zhao and Wenyong Huang and Shuang Sun and Zhicheng Xiong and Xiaotian Zhang and Shuya Zhao and Yan Wang and Disheng Xu and Wenwei Zhang and Kai Chen},
  year = {2026},
  eprint = {2607.11849},
  archivePrefix = {arXiv},
  primaryClass = {cs.CL},
  doi = {10.48550/arXiv.2607.11849},
  url = {https://arxiv.org/abs/2607.11849}
}

All datasets marked Unclear | 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": "internlm/AdvancedMathBench" })
signal: "unclear"
stated_licence: null
sources: 0