LukeBailey181/traind_10k
收藏Hugging Face2025-12-16 更新2025-12-20 收录
下载链接：
https://hf-mirror.com/datasets/LukeBailey181/traind_10k
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: id
dtype: string
- name: header
dtype: string
- name: theorem
dtype: string
- name: source
dtype: string
- name: informal_statement
dtype: string
- name: original_dataset_name
dtype: string
- name: metadata
dtype: string
splits:
- name: train
num_bytes: 5378933
num_examples: 9000
- name: test
num_bytes: 601292
num_examples: 1000
download_size: 2604073
dataset_size: 5980225
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
- split: test
path: data/test-*
---
提供机构：
LukeBailey181
