{
 "id": "ighina/FaithformBench-Regex",
 "owner": "ighina",
 "name": "FaithformBench-Regex",
 "downloads": 204,
 "likes": 1,
 "last_modified": "2026-09-25T06:48:14.000Z",
 "stated_licence": "mit",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [
  {
   "id": "Qwen/ProcessBench",
   "licence": "apache-2.0",
   "found": true,
   "evidence": "https://huggingface.co/datasets/Qwen/ProcessBench/blob/3bdcd5371ed567559a78f559c01c13a6deee7604/README.md"
  }
 ],
 "gated": false,
 "tasks": [
  "text-generation"
 ],
 "citation": "@misc{cornish2026faithformbenchbenchmarkingfaithfulnessmathematical,\r\n      title={FaithformBench: Benchmarking Faithfulness of Mathematical Chain-of-Thought Autoformalisation}, \r\n      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},\r\n      year={2026},\r\n      eprint={2608.10916},\r\n      archivePrefix={arXiv},\r\n      primaryClass={cs.CL},\r\n      url={https://arxiv.org/abs/2608.10916}, \r\n}",
 "signal": "permissive",
 "reason": "The declared licence (mit) is classified as permissive.",
 "revision": "f32ff55a46a796ac54568b5f0698d53caf2a20f6",
 "stated_evidence": "https://huggingface.co/datasets/ighina/FaithformBench-Regex/blob/f32ff55a46a796ac54568b5f0698d53caf2a20f6/README.md",
 "file_evidence": "https://huggingface.co/datasets/ighina/FaithformBench-Regex/tree/f32ff55a46a796ac54568b5f0698d53caf2a20f6",
 "card_nc": false
}