supergoose/buzz_sources_415_literate-agda

--- dataset_info: features: - name: conversations list: - name: from dtype: string - name: value dtype: string - name: source dtype: string - name: stack dtype: string splits: - name: train num_bytes: 2187 num_examples: 1 download_size: 6561 dataset_size: 2187 configs: - config_name: default data_files: - split: train path: data/train-* ---数据集信息： 特征字段： - 名称：conversations，类型为列表，其元素包含以下子字段： - 名称：from，数据类型：字符串类型 - 名称：value，数据类型：字符串类型 - 名称：source，数据类型：字符串类型 - 名称：stack，数据类型：字符串类型 数据集划分： - 名称：train（训练集），字节数：2187，样本数量：1 下载大小：6561 数据集占用大小：2187 配置项： - 配置名称：default（默认配置），数据文件： - 划分集：train（训练集），路径：data/train-*