WhiteGiverPlus/extract_theorem_en_v2_200
收藏Hugging Face2024-07-11 更新2024-07-13 收录
下载链接：
https://hf-mirror.com/datasets/WhiteGiverPlus/extract_theorem_en_v2_200
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含文本、问题和证明三个特征，数据类型均为字符串。数据集分为一个训练集，包含196个样本，总大小为2215512字节。下载大小为928363字节，数据集总大小为2215512字节。
The dataset contains three features: text, question, and proof, all of which are of string type. The dataset is divided into a training set containing 196 samples, with a total size of 2215512 bytes. The download size is 928363 bytes, and the total dataset size is 2215512 bytes.
提供机构：
WhiteGiverPlus
