LukeBailey181/goedel-sft-v2-simple-processed
收藏Hugging Face2026-03-03 更新2026-03-29 收录
下载链接：
https://hf-mirror.com/datasets/LukeBailey181/goedel-sft-v2-simple-processed
下载链接
链接失效反馈官方服务：
资源简介：
---
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
dataset_info:
features:
- name: statement_id
dtype: string
- name: header
dtype: string
- name: theorem
dtype: string
- name: prompt
dtype: string
- name: full_cot
dtype: string
- name: extracted_proof
dtype: string
splits:
- name: train
num_bytes: 25305839069
num_examples: 1502789
download_size: 8793097970
dataset_size: 25305839069
---
配置项：
- 配置名称：默认（default）
数据文件：
- 分割集：训练集（train）
路径：data/train-*
数据集信息：
数据特征：
- 名称：语句ID（statement_id），数据类型：字符串类型
- 名称：头部信息（header），数据类型：字符串类型
- 名称：定理（theorem），数据类型：字符串类型
- 名称：提示词（Prompt），数据类型：字符串类型
- 名称：完整思维链（full CoT），数据类型：字符串类型
- 名称：提取的证明（extracted_proof），数据类型：字符串类型
数据分割集详情：
- 分割集名称：训练集（train）
字节占用量：25305839069
样本数量：1502789
下载大小：8793097970
数据集总存储大小：25305839069
提供机构：
LukeBailey181
