pccl-org/formal-logic-simple-order-new-objects-bigger-1000

--- dataset_info: features: - name: greater_than dtype: string - name: less_than dtype: string - name: correct_example sequence: string - name: incorrect_example sequence: string - name: distance dtype: int64 - name: index dtype: int64 splits: - name: train num_bytes: 69843087 num_examples: 499500 download_size: 20572653 dataset_size: 69843087 configs: - config_name: default data_files: - split: train path: data/train-* --- # Dataset Card for "formal-logic-simple-order-new-objects-bigger-1000" [More Information needed](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)数据集信息： 特征字段： - 名称：大于关系（greater_than），数据类型：字符串（string） - 名称：小于关系（less_than），数据类型：字符串（string） - 名称：正确示例（correct_example），序列类型：字符串（string） - 名称：错误示例（incorrect_example），序列类型：字符串（string） - 名称：距离（distance），数据类型：64位整型（int64） - 名称：索引（index），数据类型：64位整型（int64） 数据集划分： - 划分名称：训练集（train），字节大小：69843087，样本数量：499500 下载大小：20572653 数据集总大小：69843087 配置项： - 配置名称：默认（default），数据文件： - 划分：训练集（train），路径：data/train-* --- # 「formal-logic-simple-order-new-objects-bigger-1000（形式化逻辑-简单序关系-新对象-尺寸大于）」数据集卡片 [需补充更多信息](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)

原始信息汇总

数据集概述

数据集名称

• formal-logic-simple-order-new-objects-bigger-1000

数据集特征

• greater_than (字符串类型)
• less_than (字符串类型)
• correct_example (字符串序列)
• incorrect_example (字符串序列)
• distance (整数类型，int64)
• index (整数类型，int64)

数据集划分

• train
  • 示例数量: 499500
  • 数据大小: 69843087字节

数据集大小

• 下载大小: 20572653字节
• 数据集总大小: 69843087字节

配置信息

• config_name: default
• data_files:
  • split: train
  • path: data/train-*