nicher92/the_stack_1_and_2_deduplicated_formal_specs_filtered_by_acsl_all_repos_with_filenames
收藏数据链接：
官方服务：
资源简介：
该数据集包含三个字段：仓库名称（repo_name）、文件路径（file_path）和文件内容（content），都是字符串类型。数据集仅包含训练集，共有约1582341个示例，总大小约为19GB。数据集的下载大小约为6GB。
The dataset includes three fields: repository name (repo_name), file path (file_path), and file content (content), all of which are string types. The dataset contains only a training set with approximately 1,582,341 examples, totaling about 19GB in size. The download size of the dataset is about 6GB.
提供机构：
nicher92
