Minute Mysteries [Detectograms] by H. A. Ripley

kaggle2025-02-23 更新2025-03-29 收录

谜题

逻辑推理

数据链接：

https://www.kaggle.com/datasets/jackpalevich/minute-mysteries-detectograms-by-h-a-ripley 数据链接链接失效反馈

官方服务：

资源简介：

71 short mysteries with questions and answers

71个附带问题与答案的短篇悬疑谜案

创建时间：

2025-02-23

LOGICINFERENCE

逻辑推理

机器学习评估

LOGICINFERENCE是一个专为评估序列到序列模型逻辑推理能力而设计的新数据集。该数据集主要关注命题逻辑和一小部分一阶逻辑，数据内容包括半形式逻辑表示和自然语言表示。数据集的创建旨在解决机器学习模型在逻辑推理任务上的局限性，特别是Transformer和LSTM模型。LOGICINFERENCE包含多种任务类型，如语言到逻辑的转换、一步或多步推理，并要求模型展示推理链。数据集还特别设计了边缘

arXiv2022-04-11 更新300

PuzzleClone

逻辑推理

自然语言处理

PuzzleClone是一个由HiThink Research和香港科技大学共同创建的高质量数学和逻辑数据集，包含超过83,657个经过验证的谜题，用于加强大型语言模型（LLMs）的推理能力。该数据集采用Satisfiability Modulo Theories (SMT)技术生成，每个谜题都经过编码、生成和验证三个阶段。数据集涵盖了广泛的难度和格式，为当前最先进的模型提出了重大挑战。通过Puz

arXiv2025-08-21 更新160

alexjackson17/countdown-numbers-3-8

数学计算

逻辑推理

倒计时数字游戏数据集包含不同配置和解决方案的变体，适用于倒计时数字游戏的各种变化。每个示例包括一个数字序列、一个目标数字、一个计算出的最接近目标值的数字、一个实现该值的算术表达式、目标值与计算值之间的差值以及最终的倒计时分数。

Hugging Face2025-02-08 更新110

cestwc/FLD_gen

逻辑推理

数据集

--- configs: - config_name: default data_files: - split: train path: data/train-* - split: validation path: data/validation-* - split: test path: data/test-* dataset_info: featur

Hugging Face2023-11-05 更新300

SynLogic

逻辑推理

强化学习

该数据集能够大规模生成多样化的逻辑推理数据，覆盖了35个不同的逻辑推理任务。它具备可调整的难度级别，并且可以通过简单的规则进行验证，这使得它非常适合用于具有可验证奖励的强化学习。这一大型、多样化的数据集，其任务专注于逻辑推理。

arXiv130