WhiteGiverPlus/extract_theorem_40
收藏Hugging Face2024-07-07 更新2024-07-22 收录
下载链接：
https://hf-mirror.com/datasets/WhiteGiverPlus/extract_theorem_40
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含文本、问题和证明三个字段，所有字段的数据类型均为字符串。数据集仅包含一个训练集分割，包含39个样本，总大小为503152字节。
The dataset contains three fields: text, question, and proof, all of which are of string type. The dataset includes only one training split, containing 39 samples with a total size of 503152 bytes.
提供机构：
WhiteGiverPlus
原始信息汇总
数据集概述
数据集特征
- text: 数据类型为字符串。
- question: 数据类型为字符串。
- proof: 数据类型为字符串。
数据集划分
- train: 包含39个样本，占用503152字节。
数据集大小
- 下载大小: 219721字节。
- 数据集大小: 503152字节。
配置
- config_name: default
- data_files:
- split: train
- path: data/train-*
- data_files:
