pkuAI4M/LeanWorkbook
收藏Hugging Face2024-09-03 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/pkuAI4M/LeanWorkbook
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: formal_statement
dtype: string
- name: natural_language_statement
dtype: string
splits:
- name: train
num_bytes: 46823854
num_examples: 140214
download_size: 22033462
dataset_size: 46823854
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
---
提供机构：
pkuAI4M
