SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
Paper • 2506.15787 • Published • 3
Scalable Logical Reasoning
A collection of scalable logical reasoning tasks
-
-
AIML-TUDA/SLR-Bench
Viewer • Updated • 38.5k • 1k • 4 -
AIML-TUDA/SLR-Bench-German
Viewer • Updated • 38.5k • 140 • 2 -
AIML-TUDA/SLR-Bench-Spanish
Viewer • Updated • 38.5k • 120 • 1 -
AIML-TUDA/SLR-Bench-French
Viewer • Updated • 38.5k • 91 • 1 -
AIML-TUDA/SLR-Bench-Italian
Viewer • Updated • 38.5k • 73 -
AIML-TUDA/SLR-Bench-Portuguese
Viewer • Updated • 27k • 89 -
AIML-TUDA/Llama-3.1-8B-SLR
8B • Updated • 1 • 1 -
AIML-TUDA/SLR-Bench-Dutch
Viewer • Updated • 38.5k • 59 -
AIML-TUDA/Qwen3-8B-SLR
8B • Updated • 8 • 1 -
VerifiableRewardsForScalableLogicalReasoning
🚀1Evaluate logical rules with a validation program