ajibawa-2023/Julia-Proof-Pile-2
收藏Hugging Face2023-12-26 更新2024-03-04 收录
下载链接：
https://hf-mirror.com/datasets/ajibawa-2023/Julia-Proof-Pile-2
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是Proof-Pile-2数据集的一部分，包含数学代码，如数值计算、计算机代数和形式数学，全部使用Julia语言编写。数据集大小略超过0.5亿个标记，并且已经移除了元数据，可以直接用于训练。数据集格式为Jsonl。
该数据集是Proof-Pile-2数据集的一部分，包含数学代码，如数值计算、计算机代数和形式数学，全部使用Julia语言编写。数据集大小略超过0.5亿个标记，并且已经移除了元数据，可以直接用于训练。数据集格式为Jsonl。
提供机构：
ajibawa-2023
原始信息汇总
数据集概述
基本信息
- 许可证：Apache-2.0
- 任务类别：文本生成
- 语言：英语
- 数据集大小：100M<n<1B
- 标签：代码
详细描述
- 数据集名称：Julia-Proof-Pile-2
- 数据来源：Proof-Pile-2数据集的一部分
- 内容描述：包含数学代码，涉及数值计算、计算机代数和形式数学，全部以Julia语言编写
- 数据量：略多于0.5亿个token
- 数据格式：Jsonl
- 使用说明：已去除元数据，可直接用于训练
