flaitenberger/LogicalReasoning-hard-v1
收藏Hugging Face2026-04-27 更新2026-05-03 收录
下载链接：
https://hf-mirror.com/datasets/flaitenberger/LogicalReasoning-hard-v1
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含多个配置，每个配置都包含与逻辑推理和自然语言处理相关的特征。数据集包括常量、谓词、形式逻辑（FOL）和自然语言（NL）中的前提、两种格式的证明、两种格式的问题、答案以及元数据。元数据包含有关逻辑问题难度、分支因子、干扰项比率等属性的详细信息。数据集分为不同大小和配置的训练集和验证集。
The dataset contains multiple configurations, each featuring elements related to logical reasoning and natural language processing. It includes constants, predicates, premises in both formal logic (FOL) and natural language (NL), proofs in both formats, questions in both formats, answers, and metadata. The metadata provides detailed information on the difficulty, branching factors, decoy ratios, and other attributes of the logical problems. The dataset is divided into training and validation sets of varying sizes and configurations.
提供机构：
flaitenberger
