--- dataset_info: - config_name: date_understanding features: - name: question dtype: string - name: choices sequence: string - name: answer dtype: int64 splits: - name: train

Hugging Face2024-05-08 更新460

atmallen/qm_bob_hard_4_mixture_1.0e

逻辑推理

机器学习

--- 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-16 更新200

unigram/FOL-nli

逻辑推理

一阶逻辑

数据集FOL-nli是一个用于逻辑推理和文本分类任务的数据集，使用一阶逻辑（FOL）进行推理。数据集包含训练、验证和测试三个分割，每个分割包含前提、假设、标签、前提TPTP、假设TPTP、证明输入、证明和规则集中度等特征。数据集的语言为英语，许可证为Apache-2.0。

Hugging Face2024-06-21 更新730

Open-Platypus

逻辑推理

机器学习

# OpenPlatypus This dataset is focused on improving LLM logical reasoning skills and was used to train the Platypus2 models. It is comprised of the following datasets, which were filtered using key

魔搭社区2026-07-08 更新400

Sudoku Puzzles

资源简介：

相关数据集