Navneeth017/neo_orqxg23tn52xey3ff5yhe33pmz3xe2lumvza
收藏Hugging Face2026-03-24 更新2026-03-29 收录
下载链接：
https://hf-mirror.com/datasets/Navneeth017/neo_orqxg23tn52xey3ff5yhe33pmz3xe2lumvza
下载链接
链接失效反馈官方服务：
资源简介：
---
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: 74451516
dataset_size: 1233476983
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
- split: test
path: data/test-*
- split: validation
path: data/validation-*
---
提供机构：
Navneeth017
