joannacheng21/goedel_workbook_sft_augmented

--- dataset_info: features: - name: problem_id dtype: string - name: full_proof dtype: string - name: prompt dtype: string - name: response dtype: string - name: rationale dtype: string splits: - name: train num_bytes: 106976206 num_examples: 29750 download_size: 41269378 dataset_size: 106976206 configs: - config_name: default data_files: - split: train path: data/train-* ---数据集信息： 特征字段： - 名称：problem_id（题目ID），数据类型：字符串 - 名称：full_proof（完整证明文本），数据类型：字符串 - 名称：prompt（提示词），数据类型：字符串 - 名称：response（模型响应），数据类型：字符串 - 名称：rationale（推理依据），数据类型：字符串 数据划分： - 划分名称：train（训练集），字节占用量：106976206，样本总数：29750 下载大小：41269378 数据集总大小：106976206 配置项： - 配置名称：default（默认配置），数据文件： - 对应划分：train（训练集），文件路径：data/train-*