MorishT/2024-07-08.JFLD.dstrct-5.step-1

该数据集包含多个特征，如版本、假设、假设公式、事实、事实公式、证明、证明公式等。数据集分为训练集和测试集，分别包含500个示例。数据集的总下载大小为548741字节，总数据集大小为1652909字节。

This dataset is primarily used for logical reasoning tasks, featuring multiple attributes such as version, hypothesis, facts, proofs, etc., each with specific data types. The dataset is divided into training and testing parts, each containing 500 samples. Detailed information about the dataset size and configuration is also provided.

原始信息汇总

数据集概述

数据集特征

• version: 字符串类型
• hypothesis: 字符串类型
• hypothesis_formula: 字符串类型
• facts: 字符串类型
• facts_formula: 字符串类型
• proofs: 字符串序列类型
• proofs_formula: 字符串序列类型
• negative_hypothesis: 字符串类型
• negative_hypothesis_formula: 字符串类型
• negative_proofs: 字符串序列类型
• negative_original_tree_depth: 64位整数类型
• original_tree_steps: 64位整数类型
• original_tree_depth: 64位整数类型
• steps: 64位整数类型
• depth: 64位整数类型
• num_formula_distractors: 64位整数类型
• num_translation_distractors: 64位整数类型
• num_all_distractors: 64位整数类型
• proof_label: 字符串类型
• negative_proof_label: 字符串类型
• world_assump_label: 字符串类型
• negative_world_assump_label: 字符串类型
• prompt_serial: 字符串类型
• proof_serial: 字符串类型
• prompt_serial_formula: 字符串类型
• proof_serial_formula: 字符串类型

数据集拆分

• train:
  • 字节数: 834631
  • 样本数: 500
• test:
  • 字节数: 818278
  • 样本数: 500

数据集大小

• 下载大小: 548741 字节
• 数据集总大小: 1652909 字节

配置

• config_name: default
  • data_files:
    • train: data/train-*
    • test: data/test-*