tasksource/proofwriter

---
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
- split: test
path: data/test-*
- split: validation
path: data/validation-*
dataset_info:
features:
- name: id
dtype: string
- name: maxD
dtype: int64
- name: NFact
dtype: int64
- name: NRule
dtype: int64
- name: theory
dtype: string
- name: question
dtype: string
- name: answer
dtype: string
- name: QDep
dtype: int64
- name: QLen
dtype: float64
- name: allProofs
dtype: string
- name: config
dtype: string
splits:
- name: train
num_bytes: 849283641
num_examples: 585552
- name: test
num_bytes: 262359174
num_examples: 174476
- name: validation
num_bytes: 121834168
num_examples: 85468
download_size: 42944158
dataset_size: 1233476983
---
# Dataset Card for "proofwriter"

[More Information needed](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)

原始信息汇总

数据集概述

配置信息

• 配置名称: default
• 数据文件:
  • 训练集: data/train-*
  • 测试集: data/test-*
  • 验证集: data/validation-*

数据集信息

• 特征:

  • id: 字符串
  • maxD: 64位整数
  • NFact: 64位整数
  • NRule: 64位整数
  • theory: 字符串
  • question: 字符串
  • answer: 字符串
  • QDep: 64位整数
  • QLen: 64位浮点数
  • allProofs: 字符串
  • config: 字符串

• 数据分割:

  • 训练集:
    • 字节数: 849283641
    • 样本数: 585552
  • 测试集:
    • 字节数: 262359174
    • 样本数: 174476
  • 验证集:
    • 字节数: 121834168
    • 样本数: 85468

• 下载大小: 42944158 字节

• 数据集大小: 1233476983 字节