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