WhiteGiverPlus/extract_theorem_en_400

该数据集包含三个主要特征：text（文本）、question（问题）和proof（证明），数据类型均为字符串。数据集分为一个训练集（train），包含396个样本，文件大小为4478617字节。下载大小为1865903字节，数据集总大小为4478617字节。默认配置中，数据文件路径为data/train-*。

The dataset contains three main features: text, question, and proof, all of which are of string type. The dataset is divided into one training set (train) with 396 samples and a file size of 4478617 bytes. The download size is 1865903 bytes, and the total dataset size is 4478617 bytes. In the default configuration, the data file path is data/train-*.

原始信息汇总

数据集概述

数据集信息

• 特征:

  • text: 数据类型为字符串。
  • question: 数据类型为字符串。
  • proof: 数据类型为字符串。

• 分割:

  • train:
    • 字节数: 4478617
    • 样本数: 396

• 下载大小: 1865903 字节

• 数据集大小: 4478617 字节

配置

• 配置名称: default
  • 数据文件:
    • 分割: train
    • 路径: data/train-*