WhiteGiverPlus/extract_theorem_1000

该数据集包含文本、问题和证明三个主要特征，所有特征的数据类型均为字符串。数据集包含一个训练集，共有972个样本，总大小为13160299字节。数据集的下载大小为5435455字节。

The dataset includes three main features: text, question, and proof, all of which are of string data type. The dataset contains a training set with 972 samples, totaling 13160299 bytes in size. The download size of the dataset is 5435455 bytes.

原始信息汇总

数据集概述

数据特征

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

数据分割

• train: 包含972个样本，占用13160299字节。

数据集大小

• 下载大小: 5435455字节
• 数据集大小: 13160299字节

配置

• default: 包含训练数据文件，路径为data/train-*。