{
 "id": "cyang98/TCSAlgBENCH",
 "owner": "cyang98",
 "name": "TCSAlgBENCH",
 "downloads": 217,
 "likes": 0,
 "last_modified": "2026-09-29T21:58:40.000Z",
 "stated_licence": "cc-by-nc-4.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": "cc-by-nc-4.0",
 "licence_files": [
  "LICENSE"
 ],
 "sources": [],
 "gated": false,
 "tasks": [],
 "citation": "@misc{yang2026tcsalgbench,\n  title = {TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science},\n  author = {Chutong Yang and Xiyuan Zhang and Yu Huang and Boran Han and Soonho Kong and Shuai Zhang and Vihang Prakash Patil and Zhen Han and Michael Bohlke-Schneider and Bernie Wang},\n  year = {2026},\n  eprint = {2609.35606},\n  archivePrefix = {arXiv},\n  primaryClass = {cs.AI},\n  url = {https://arxiv.org/abs/2609.35606}\n}",
 "signal": "restrictive",
 "reason": "The declared licence (cc-by-nc-4.0) is classified as having use restrictions.",
 "revision": "7585aa0e3f728ef1146848f60e1b7d0ff09fba59",
 "stated_evidence": "https://huggingface.co/datasets/cyang98/TCSAlgBENCH/blob/7585aa0e3f728ef1146848f60e1b7d0ff09fba59/README.md",
 "file_evidence": "https://huggingface.co/datasets/cyang98/TCSAlgBENCH/blob/7585aa0e3f728ef1146848f60e1b7d0ff09fba59/LICENSE",
 "card_nc": false
}