All datasets / INSAIT-Institute

INSAIT-Institute/BrokenMath

208 downloads in 30 days2 likesLast modified 7 Oct 2025View 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 5eda8c5
Licence files: No licence file at the top level of the repositoryEvidence: file list at 5eda8c5
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

question-answering

Citation text from the card

@article{brokenmath2025,
  title={BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs}, 
  author={Ivo Petrov and Jasper Dekoninck and Martin Vechev},
  year={2025},
  eprint={2510.04721},
  archivePrefix={arXiv},
  primaryClass={cs.AI},
  url={https://arxiv.org/abs/2510.04721}, 
}

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": "INSAIT-Institute/BrokenMath" })
signal: "restrictive"
stated_licence: "cc-by-nc-sa-4.0"
sources: 0