formalmathatepfl/sft-data-combined
收藏Hugging Face2026-03-09 更新2026-03-29 收录
下载链接：
https://hf-mirror.com/datasets/formalmathatepfl/sft-data-combined
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: uuid
dtype: string
- name: data_source
dtype: string
- name: question
dtype: string
- name: answer
dtype: string
- name: proof_plan
dtype: string
splits:
- name: train
num_bytes: 8079908852
num_examples: 2107532
- name: validation
num_bytes: 18602807
num_examples: 11230
- name: test
num_bytes: 1141470647
num_examples: 1484867
download_size: 2871902395
dataset_size: 9239982306
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
- split: validation
path: data/validation-*
- split: test
path: data/test-*
---
提供机构：
formalmathatepfl
