{
 "id": "AIML-TUDA/SLR-Bench",
 "owner": "AIML-TUDA",
 "name": "SLR-Bench",
 "downloads": 472,
 "likes": 5,
 "last_modified": "2026-05-22T11:24:22.000Z",
 "stated_licence": "cc-by-4.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [],
 "citation": "@inproceedings{helff2025slr,\n  title = {SLR: Automated Synthesis for Scalable Logical Reasoning},\n  author = {Helff, Lukas and Omar, Ahmad and Friedrich, Felix and W{\\\"u}st, Antonia and Shindo, Hikaru and Woydt, Tim and Mitchell, Rupert and Schramowski, Patrick and Stammer, Wolfgang and Kersting, Kristian},\n  booktitle = {Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (ACL 2026)},\n  year = {2026}\n}\n\n@inproceedings{helff2025rewardhacking,\n  title={LLMs Gaming Verifiers: RLVR can Lead to Reward Hacking}, \n  author={Lukas Helff and Quentin Delfosse and David Steinmann and Ruben Härle and Hikaru Shindo and Patrick Schramowski and Wolfgang Stammer and Kristian Kersting and Felix Friedrich},\n  booktitle={ICLR 2026 Workshop on Logical Reasoning of Large Language Models},\n  year = {2026}\n}",
 "signal": "permissive",
 "reason": "The declared licence (cc-by-4.0) is classified as permissive.",
 "revision": "cecc0aa2602943ead28a4ea74c7a8f3c91264cbf",
 "stated_evidence": "https://huggingface.co/datasets/AIML-TUDA/SLR-Bench/blob/cecc0aa2602943ead28a4ea74c7a8f3c91264cbf/README.md",
 "file_evidence": "https://huggingface.co/datasets/AIML-TUDA/SLR-Bench/tree/cecc0aa2602943ead28a4ea74c7a8f3c91264cbf",
 "card_nc": false
}