pccl-org/formal-logic-simple-order-new-objects-paired-lighter-2000

---
dataset_info:
features:
- name: greater_than
dtype: string
- name: less_than
dtype: string
- name: paired_example
sequence:
sequence: string
- name: correct_example
sequence: string
- name: incorrect_example
sequence: string
- name: distance
dtype: int64
- name: index
dtype: int64
- name: index_in_distance
dtype: int64
splits:
- name: train
num_bytes: 513825482
num_examples: 1997003
download_size: 162362912
dataset_size: 513825482
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
---

原始信息汇总

数据集概述

数据集特征

• greater_than: 数据类型为字符串。
• less_than: 数据类型为字符串。
• paired_example: 数据类型为字符串序列。
• correct_example: 数据类型为字符串序列。
• incorrect_example: 数据类型为字符串序列。
• distance: 数据类型为整数（int64）。
• index: 数据类型为整数（int64）。
• index_in_distance: 数据类型为整数（int64）。

数据集分割

• train: 包含1997003个样本，总字节数为513825482。

数据集大小

• 下载大小: 162362912字节。
• 数据集大小: 513825482字节。

配置

• default: 包含训练数据文件，路径为data/train-*。