All datasets / ighina

ighina/FaithformBench-Regex

204 downloads in 30 days1 likesLast modified 25 Sep 2026View on Hugging Face

Permissive or share-alike

The declared licence (mit) is classified as permissive.

Declared licence: mit, from the tagEvidence: README.md at f32ff55
Licence files: No licence file at the top level of the repositoryEvidence: file list at f32ff55
Declared sources: 1
Access gated on Hugging Face: No

Each cell links to what was checked: a file, a file list or a Hub record.

Sources listed in the card metadata

Qwen/ProcessBenchapache-2.0PermissiveEvidence: README.md at 3bdcd53

Tasks

text-generation

Citation text from the card

@misc{cornish2026faithformbenchbenchmarkingfaithfulnessmathematical,
      title={FaithformBench: Benchmarking Faithfulness of Mathematical Chain-of-Thought Autoformalisation}, 
      author={Rob Cornish and Iacopo Ghinassi and Po-Hung Yeh and Shuqi Liu and Qiyuan Xu and Haoxuan Yin and Dominik Wagner and Wenda Li and Yee Whye Teh and Luke Ong},
      year={2026},
      eprint={2608.10916},
      archivePrefix={arXiv},
      primaryClass={cs.CL},
      url={https://arxiv.org/abs/2608.10916}, 
}

All datasets marked Permissive or share-alike | 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": "ighina/FaithformBench-Regex" })
signal: "permissive"
stated_licence: "mit"
sources: 1