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-*