if001/mathematical_logic_dataset
收藏官方服务：
资源简介：
--- dataset_info: features: - name: category dtype: string - name: text dtype: string splits: - name: train num_bytes: 32556 num_examples: 89 download_size: 17236 dataset_size: 32556 configs: - config_name: default data_files: - split: train path: data/train-* ---
提供机构：
if001原始信息汇总
数据集概述
数据集特征
- category：数据类型为字符串。
- text：数据类型为字符串。
数据集分割
- train：包含89个样本，总大小为32556字节。
数据集大小
- 下载大小：17236字节。
- 数据集总大小：32556字节。
配置信息
- 配置名称：default
- 数据文件路径：
- split：train
- path：data/train-*
