AIML-TUDA/SLR-Bench
SLR-Bench: Scalable Logical Reasoning Benchmark for LLMs SLR-Bench is a scalable, fully-automated benchmark for evaluating and training LLMs on inductive logical reasoning. Each task is generated by the SLR framework and ships with (i) a natural-language prompt, (ii) an executable validation program for deterministic symbolic evaluation, and (iii) a latent ground-truth rule. The benchmark organizes 19k+ tasks into 20 curriculum levels of progressively increasing relational… See the full description on the dataset page: https://huggingface.co/datasets/AIML-TUDA/SLR-Bench.
| Author / organization | AIML-TUDA |
|---|---|
| License (as declared) | cc-by-4.0 |
| Downloads | 305 (as reported by Hugging Face) |
| Likes | 5 |
| Created | 19 June 2025 |
| Last updated at source | 22 May 2026 |
Connected in the knowledge graph
- mradermacher/DeepSeek-R1-Distill-Qwen-14B-GSPO-Basic-i1-GGUFModel · used to train
- mradermacher/DeepSeek-R1-Distill-Qwen-1.5B-S-GGUFModel · used to train
- mradermacher/OlmoLogic-7B-Think-i1-GGUFModel · used to train
- mradermacher/DeepSeek-R1-Distill-Qwen-1.5B-GSPO-Basic-GGUFModel · used to train
- mradermacher/DeepSeek-R1-Distill-Qwen-7B-GSPO-Basic-i1-GGUFModel · used to train
- AIML-TUDA/OlmoLogic-7B-ThinkModel · used to train
- mradermacher/DeepSeek-R1-Distill-Qwen-7B-GSPO-Basic-GGUFModel · used to train
- mradermacher/DeepSeek-R1-Distill-Qwen-14B-GSPO-Basic-GGUFModel · used to train
More from AIML-TUDA
- AIML-TUDA/smidDataset
- AIML-TUDA/CycliSTDataset
- AIML-TUDA/i2pDataset
- AIML-TUDA/CLEVR-SudokuDataset
- AIML-TUDA/LlavaGuardDataset
- AIML-TUDA/MCC-250Dataset
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.