ArrowLabs/PerfectPdfs
Viewer • Updated • 1.65M • 383 • 4
Edit Datasets filters
Active filters: logic
udgamlabs/logic-puzzles
Viewer • Updated • 92.5k • 78 • 1
tasksource/babi_nli
Viewer • Updated • 40k • 7.27k • 3
AIML-TUDA/v-lol-trains
Updated • 66 • 3
hivaze/LOGIC-701
Viewer • Updated • 1.4k • 125 • 8
tasksource/FOL-nli
Viewer • Updated • 103k • 1.59k • 3
fol-traces/fol-traces
Preview • Updated • 2.66k • 3
theprint/CleverBoi
Viewer • Updated • 141k • 47 • 1
theprint/CleverBoi-Data-20k
Viewer • Updated • 20k • 19 • 6
CultriX/dpo-merged
Viewer • Updated • 60.7k • 39
CultriX/dpo-merged-binarized
Viewer • Updated • 60.7k • 27
cfpark00/StructuredORBench
Updated • 4
sequelbox/Spurline
Viewer • Updated • 10.7k • 35
sxiong/SWAP
Viewer • Updated • 69.8k • 67 • 2
evilfreelancer/LOGIC-701-instruct
Viewer • Updated • 1.4k • 30 • 4
fluently-sets/ultraset
Viewer • Updated • 785k • 51 • 7
fluently-sets/ultrathink
Viewer • Updated • 391k • 44 • 10
shb777/RelatLogic
Viewer • Updated • 1M • 37 • 1
FrankL/short_COT_48k
Viewer • Updated • 4.8k • 16 • 5
sileod/LogicHaystacks
Viewer • Updated • 17.2k • 345
agentlans/reddit-logic
Viewer • Updated • 9.94k • 44 • 13
strickvl/constraint-sat-1000
Viewer • Updated • 1k • 64 • 1
zhx123/SocratesEval
Viewer • Updated • 979 • 12 • 1
dougiefresh/grammar_logic_rhetoric_and_math
Viewer • Updated • 17.3k • 114 • 1
leobertolazzi/syllogistic-logic
Viewer • Updated • 197k • 200
AIML-TUDA/SLR-Bench
Viewer • Updated • 38.5k • 406 • 5
DeL-TaiseiOzaki/Tengentoppa-grpo-v1.0
Viewer • Updated • 140 • 13
sequelbox/Mitakihara-DeepSeek-R1-0528
Viewer • Updated • 16.9k • 53 • 6
knowledgator/gliclass-v3-logic-dataset
Viewer • Updated • 7.78k • 193 • 10
sequelbox/DAG-Reasoning-DeepSeek-R1-0528
Viewer • Updated • 4.08k • 80 • 12