saharshb/mathlib-informal-split
收藏Hugging Face2026-04-02 更新2026-04-12 收录
下载链接：
https://hf-mirror.com/datasets/saharshb/mathlib-informal-split
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: module_name
list: string
- name: kind
dtype: string
- name: name
list: string
- name: start
dtype: int64
- name: stop
dtype: int64
- name: signature
dtype: string
- name: type
dtype: string
- name: value
dtype: string
- name: docstring
dtype: string
- name: informal_name
dtype: string
- name: informal_description
dtype: string
- name: index
dtype: int64
splits:
- name: train
num_bytes: 168976684.86782745
num_examples: 168989
- name: val
num_bytes: 21122460.581150174
num_examples: 21124
- name: test
num_bytes: 21122460.581150174
num_examples: 21124
download_size: 107984061
dataset_size: 211221606.0301278
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
- split: val
path: data/val-*
- split: test
path: data/test-*
---
提供机构：
saharshb
