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

该数据集包含多个特征字段，如版本、假设、假设公式、事实、事实公式、证明、证明公式等。此外，数据集还包含负假设、负证明、原始树深度、步骤数、深度等字段。数据集分为训练集和测试集，分别包含500个样本。数据集的下载大小为972634字节，总大小为2838719字节。This dataset contains multiple feature fields such as version, hypothesis, hypothesis formula, facts, facts formula, proofs, proofs formula, etc. Additionally, the dataset includes negative hypothesis, negative proofs, original tree depth, number of steps, depth, and other fields. The dataset is divided into training and test sets, each containing 500 samples. The download size of the dataset is 972634 bytes, and the total size is 2838719 bytes.

原始信息汇总

数据集概述

特征信息

• version: 数据集版本，类型为字符串。
• hypothesis: 假设，类型为字符串。
• hypothesis_formula: 假设公式，类型为字符串。
• facts: 事实，类型为字符串。
• facts_formula: 事实公式，类型为字符串。
• proofs: 证明，类型为字符串序列。
• proofs_formula: 证明公式，类型为字符串序列。
• negative_hypothesis: 负假设，类型为字符串。
• negative_hypothesis_formula: 负假设公式，类型为字符串。
• negative_proofs: 负证明，类型为字符串序列。
• negative_original_tree_depth: 负原始树深度，类型为整数。
• original_tree_steps: 原始树步数，类型为整数。
• original_tree_depth: 原始树深度，类型为整数。
• steps: 步数，类型为整数。
• depth: 深度，类型为整数。
• num_formula_distractors: 公式干扰项数量，类型为整数。
• num_translation_distractors: 翻译干扰项数量，类型为整数。
• num_all_distractors: 所有干扰项数量，类型为整数。
• proof_label: 证明标签，类型为字符串。
• negative_proof_label: 负证明标签，类型为字符串。
• world_assump_label: 世界假设标签，类型为字符串。
• negative_world_assump_label: 负世界假设标签，类型为字符串。
• prompt_serial: 提示序列，类型为字符串。
• proof_serial: 证明序列，类型为字符串。
• prompt_serial_formula: 提示序列公式，类型为字符串。
• proof_serial_formula: 证明序列公式，类型为字符串。

数据集划分

• train: 训练集，包含500个样本，大小为1458280字节。
• test: 测试集，包含500个样本，大小为1380439字节。

数据集大小

• download_size: 下载大小为972634字节。
• dataset_size: 数据集总大小为2838719字节。

配置信息

• config_name: 默认配置。
  • data_files:
    • train: 训练集数据文件路径为data/train-*。
    • test: 测试集数据文件路径为data/test-*。