-
数学问题解答数据集MathematicsProblemSolutions-shashwotpradhan
数学问题解答数据集MathematicsProblemSolutions-shashwotpradhan 数据来源：互联网公开数据 标签：数学，问题解答，文本数据，教育，问题求解，逻辑推理，机器学习，自然语言处理 数据概述： 该数据集包含来自多个来源的数学问题及其对应的解答，旨在提供用于数学问题理解、解答分析和模型训练的结构化文本数据。主要特征如下：...
-
程序求解器运算结果数据集ProgramSolverOperationResults-mehrankazeminia
程序求解器运算结果数据集ProgramSolverOperationResults-mehrankazeminia 数据来源：互联网公开数据 标签：程序分析, 求解器, 运算结果, 数据挖掘, 数学建模, 算法评估, 逻辑推理, 数据集 数据概述： 该数据集包含程序求解器在特定运算任务上的结果记录。主要特征如下：...
-
布尔训练与检查数据集BoolTrainingandCheckingDataset-aymenabb
布尔训练与检查数据集BoolTrainingandCheckingDataset-aymenabb 数据来源：互联网公开数据 标签：布尔逻辑，数据集，训练数据，检查数据，机器学习，逻辑推理，数据验证，算法测试 数据概述： 该数据集包含用于布尔逻辑训练和检查的数据，记录了布尔表达式的输入和输出结果。主要特征如下：...
-
布尔问答数据集BoolQDataset-parthplc
布尔问答数据集BoolQDataset-parthplc 数据来源：互联网公开数据 标签：布尔问答，自然语言处理，数据集，机器学习，文本分类，逻辑推理，人工智能，计算机科学 数据概述： 该数据集由斯坦福大学提供，主要记录了布尔问答的文本数据，适用于自然语言处理和逻辑推理研究。主要特征如下： 时间跨度：数据记录的时间范围从2019年到2020年。...
-
自定义训练逻辑推理数据集CustomTrainLECRDataset-lokheichan
自定义训练逻辑推理数据集CustomTrainLECRDataset-lokheichan 数据来源：互联网公开数据 标签：逻辑推理，数据集，机器学习，自然语言处理，人工智能，教育，训练数据，学术研究 数据概述：该数据集为自定义训练逻辑推理问题的数据集，记录了大量逻辑推理题及其答案。主要特征如下： 时间跨度：数据记录的时间范围从2018年到2023年。...
-
AI数独求解器数据集AISudokuSolverDataset-sarthakvajpayee
AI数独求解器数据集AISudokuSolverDataset-sarthakvajpayee 数据来源：互联网公开数据 标签：数独，数据集，人工智能，求解器，机器学习，数据分析，逻辑推理，游戏 数据概述： 该数据集包含用于训练和评估数独求解器的数据，记录了数独谜题及其对应的解决方案。主要特征如下：...
-
TPTPv7-4-0公式库数据集-filipbartek
TPTPv7-4-0公式库数据集-filipbartek 数据来源：互联网公开数据 标签：逻辑推理，定理证明，数据集，人工智能，自动推理，形式化方法，计算机科学，逻辑学 数据概述： 该数据集包含了TPTP（Thousands of Problems for Theorem Provers，定理证明器问题集）...
-
数独游戏样本数据集SampledSudokufromSudoku3MDataset-ninetentacles
数独游戏样本数据集SampledSudokufromSudoku3MDataset-ninetentacles 数据来源：互联网公开数据 标签：数独，游戏数据，数据集，逻辑推理，算法测试，人工智能，机器学习，教育应用 数据概述： 该数据集包含来自数独游戏资源库的样本数据，记录了数独游戏的题目和答案。主要特征如下：...
-
基于BoolQ数据集的问答推理数据集-thedevastator
基于BoolQ数据集的问答推理数据集-thedevastator 数据来源：互联网公开数据 标签：问答,推理,自然语言处理,逻辑推理,判断,真假,机器学习,文本理解 数据概述： 本数据集基于BoolQ（Yes/No Question Answering）数据集构建，包含15942个是/否问题及答案。数据集的核心在于促进对文本内容的逻辑推理和理解。...
-
开源逻辑推理数据集
开源逻辑推理数据集 数据来源：互联网公开数据 标签：开源,逻辑推理,GPT-4,机器学习,自然语言处理,意识流,知识图谱,创造性思维 数据概述： 本数据集为Know-Saraswati-COT，是一个开源的逻辑推理与意识流思维支持数据集。该数据集由Huggingface...
-
视频帧排序挑战数据集
视频帧排序挑战数据集 数据来源：互联网公开数据 标签：视频帧,车辆交通,计算机视觉,图像处理,排序算法,时间序列,逻辑推理 数据概述： 本数据集来源于一段车辆交通视频的100帧图像，视频内容为车辆从右向左移动的场景。数据集中的帧图像被打乱顺序，文件名随机分配。数据集包含以下内容： 1. 随机化图像文件夹：包含被打乱顺序的帧图像。 2....
-
AI2逻辑艺术数据集
AI2逻辑艺术数据集 数据来源：互联网公开数据 标签：AI2,逻辑推理,自然语言处理,常识推理,机器学习,数据集,训练数据,语义算法,创业生态 数据概述： 该数据集由AI2（Allen Institute for AI）提供，是Huggingface...
-
-
矛盾的-我的朋友沃森数据集
矛盾的-我的朋友沃森数据集 数据来源：互联网公开数据 标签：逻辑推理,矛盾分析,英语翻译,竞争数据,文本分析,问题解决 数据概述： 本数据集包含了“矛盾的，我的朋友沃森”竞赛的翻译成英文的数据，仅有少量数据（约20-30条）存在异常或错误。数据集内容主要涉及逻辑推理、矛盾识别和问题解决等方面，为相关研究提供了可靠的基础数据支持。 数据用途概述：...
-
逻辑推理能力提升数据集1963-2021
逻辑推理能力提升数据集1963-2021 数据来源：互联网公开数据 标签：逻辑推理,语言模型,训练数据,LLM,Platypus2,机器学习,教育 数据概述： 本数据集由garage-...
-
归纳推理数据集
归纳推理数据集 数据来源：互联网公开数据 标签：归纳推理,语言模型,逻辑推理,人类行为,语义内容,机器学习,数据科学 数据概述： 本数据集包含了用于研究语言模型在归纳推理任务中表现的数据。数据集来源于PNAS/Nexus期刊上Andrew K....
-
小学数学难题训练数据集-小学阶段数学问题
小学数学难题训练数据集-小学阶段数学问题 数据来源：互联网公开数据 标签：数学问题,小学教育,逻辑推理,语言模型,教育数据集,GSM8K,数学训练 数据概述： 本数据集包含一系列小学阶段的数学问题，旨在评估和提高语言模型的数学推理能力。该数据集是GSM8K的一个更具挑战性的变体，通过将数字替换为更大且较少遇到的数值来增加难度。 数据格式：...
-
自然语言推理内容效应数据集
自然语言推理内容效应数据集 数据来源：互联网公开数据 标签：自然语言推理,语言模型,人类推理,内容效应,逻辑推理,机器学习,人工智能,数据科学 数据概述：...
-
跨语言文本蕴含关系分类数据集
跨语言文本蕴含关系分类数据集 数据来源：互联网公开数据 标签：自然语言处理,跨语言分析,文本蕴含,机器学习,句子分类,逻辑推理,多语言支持 数据概述：...
