autores/DSP1.5RL-minif2f-RmaxTS-4samples-all
收藏官方服务：
资源简介：
该数据集包含六个特征：问题名称、样本信息、正式陈述、证明代码、结果和状态。数据集分为一个训练集，包含1440个样本，总大小为4255636字节。下载大小为688854字节。数据集的默认配置数据文件路径为data/train-*。
The dataset contains six features: problem name, sample information, formal statement, proof code, result, and status. The dataset is divided into one training set, containing 1440 samples, with a total size of 4255636 bytes. The download size is 688854 bytes. The default configuration of the dataset has data file paths as data/train-*.
提供机构：
autores
