{
 "id": "LukasHug/SLR-Bench-Isomorphic",
 "owner": "LukasHug",
 "name": "SLR-Bench-Isomorphic",
 "downloads": 55,
 "likes": 0,
 "last_modified": "2026-02-19T14:44:42.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": "@incollection{helff2025slrautomatedsynthesisscalable,\n      title={SLR: Automated Synthesis for Scalable Logical Reasoning}, \n      author={Lukas Helff and Ahmad Omar and Felix Friedrich and Antonia Wüst and Hikaru Shindo and Rupert Mitchell and Tim Woydt and Patrick Schramowski and Wolfgang Stammer and Kristian Kersting},\n      year={2025},\n      booktitle ={Working Notes of the NeurIPS Workshop on Foundations of Reasoning in Language Models},\n      url={https://arxiv.org/abs/2506.15787}, \n}",
 "signal": "permissive",
 "reason": "The declared licence (cc-by-4.0) is classified as permissive.",
 "revision": "2addf7bd6dbac331f5e4189df771ce02bd02c44c",
 "stated_evidence": "https://huggingface.co/datasets/LukasHug/SLR-Bench-Isomorphic/blob/2addf7bd6dbac331f5e4189df771ce02bd02c44c/README.md",
 "file_evidence": "https://huggingface.co/datasets/LukasHug/SLR-Bench-Isomorphic/tree/2addf7bd6dbac331f5e4189df771ce02bd02c44c",
 "card_nc": false
}