pkuAI4M/LeanWorkbook
收藏官方服务：
资源简介：
--- dataset_info: features: - name: formal_statement dtype: string - name: natural_language_statement dtype: string splits: - name: train num_bytes: 46823854 num_examples: 140214 download_size: 22033462 dataset_size: 46823854 configs: - config_name: default data_files: - split: train path: data/train-* ---
数据集信息： 特征： - 名称：形式化语句（formal statement） 数据类型：字符串 - 名称：自然语言语句（natural language statement） 数据类型：字符串 数据集划分： - 划分名称：训练集（train） 字节大小：46823854 样本数量：140214 下载大小：22033462 数据集总大小：46823854 配置项： - 配置名称：默认（default） 数据文件： - 划分：训练集（train） 路径：data/train-*
提供机构：
pkuAI4M
