SLR-Bench-French是一个法语版的逻辑推理数据集，它是原始SLR-Bench数据集的法语语言对应版本。它遵循与英语版相同的符号结构、评估框架和课程，但将所有自然语言任务提示翻译成法语。这使得可以系统地评估和训练大型语言模型（LLM）在法语中的逻辑推理能力，支持多语言推理和跨语言泛化研究。

Hugging Face2025-10-17 更新350

atmallen/qm_bob_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 更新240

LogiQuest-Dataset-V1

逻辑推理

人工智能训练数据

逻辑推理是人工智能的关键能力之一，特别是对于大模型如ChatGPT。为了提升其推理和理解能力，我们需要大量的逻辑和推理训练数据。然而，现有的训练数据通常集中于英语，对于中文的逻辑和推理训练数据，特别是那些涉及到具体和复杂问题的，供应十分匮乏。为了解决这个问题，我们从互联网上收集了大量的逻辑推理对话数据，包含各种问题以及它们的答案。我们的目标是通过使用这些数据来训练GPT，以增强其逻辑推理和理解能力

github2023-12-05 更新990

HOList

数学定理证明

逻辑推理

该数据集名为HOList，包含29,465个定理及其证明，其中以“核心”和“复杂”数据集为重点，涵盖18,943个定理、637个定义以及603,950个证明步骤。该数据集涉及数学的多个领域，如集合论、算术、线性代数、拓扑学以及多变量复分析等。数据集使用S-表达式来表示陈述，并在定理上明确划分了训练/验证/测试数据。在“核心”和“复杂”数据集中，共包含18,943个定理。此外，该数据集的任务包括逻辑

arXiv330

Sudoku Puzzles

资源简介：

相关数据集