pkuAI4M/lean_github
收藏Hugging Face2024-11-22 更新2024-12-14 收录
下载链接：
https://hf-mirror.com/datasets/pkuAI4M/lean_github
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含多个特征字段，如url、commit、file_path、full_name、start、end、tactic、state_before、state_after和input，所有字段的数据类型均为字符串。数据集包含一个名为train的分割，共有218,866个样本，占用653,756,100字节。下载大小为65,989,335字节，数据集总大小为653,756,100字节。默认配置的数据文件路径为data/train-*。
The dataset contains multiple feature fields such as url, commit, file_path, full_name, start, end, tactic, state_before, state_after, and input, all of which are of string type. The dataset includes a split named train with 218,866 samples, occupying 653,756,100 bytes. The download size is 65,989,335 bytes, and the total dataset size is 653,756,100 bytes. The default configuration specifies the data file path as data/train-*.
提供机构：
pkuAI4M
