AIML-TUDA/SLR-Bench

472 downloads in 30 days5 likesLast modified 22 May 2026View on Hugging Face

The declared licence (cc-by-4.0) is classified as permissive.

Declared licence: cc-by-4.0, from the tagEvidence: README.md at cecc0aa
Licence files: No licence file at the top level of the repositoryEvidence: file list at cecc0aa
Declared sources: None listed in the card metadata
Access gated on Hugging Face: No

Each cell links to what was checked: a file, a file list or a Hub record.

Citation text from the card

@inproceedings{helff2025slr,
  title = {SLR: Automated Synthesis for Scalable Logical Reasoning},
  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},
  booktitle = {Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (ACL 2026)},
  year = {2026}
}

@inproceedings{helff2025rewardhacking,
  title={LLMs Gaming Verifiers: RLVR can Lead to Reward Hacking}, 
  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},
  booktitle={ICLR 2026 Workshop on Logical Reasoning of Large Language Models},
  year = {2026}
}

All datasets marked Permissive or share-alike | JSON

The same facts for your agent

A free MCP server at mcp.datalicense.uk/mcp. Connect it from an MCP client such as Claude or Cursor.

dataset_licence({ "id": "AIML-TUDA/SLR-Bench" })
signal: "permissive"
stated_licence: "cc-by-4.0"
sources: 0