if001/algebraic-stack-small
收藏Hugging Face2024-06-03 更新2024-06-12 收录
下载链接：
https://hf-mirror.com/datasets/if001/algebraic-stack-small
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是从proof-pile-2のalgebraic-stack中随机抽取的。
该数据集是从proof-pile-2のalgebraic-stack中随机抽取的。
提供机构：
if001
原始信息汇总
数据集概述
数据集特征
- text：数据类型为字符串。
- meta：数据类型为字符串。
数据集划分
- 训练集（train）：
- 示例数量：34046
- 数据大小：338452167.19602346字节
数据集大小
- 下载大小：116558943字节
- 数据集总大小：338452167.19602346字节
配置信息
- 配置名称：default
- 数据文件路径：
- 训练集路径：data/train-*
