metadata
dataset_info:
features:
- name: name
dtype: string
- name: ground_truth
dtype: string
- name: context
dtype: string
- name: informal
dtype: string
- name: is_theorem
dtype: bool
- name: project
dtype: string
splits:
- name: train
num_bytes: 15237659
num_examples: 619
download_size: 4777618
dataset_size: 15237659
configs:
- config_name: default
data_files:
- split: train
path: data/train-*