Goedel-LM/SFT_dataset_v2
收藏Hugging Face2026-03-02 更新2026-03-29 收录
下载链接：
https://hf-mirror.com/datasets/Goedel-LM/SFT_dataset_v2
下载链接
链接失效反馈官方服务：
资源简介：
---
pretty_name: Goedel-Prover-V2 SFT Dataset
language: en
license: apache-2.0
tags: [theorem-proving, lean4, code]
size_categories: 1M<n<10M
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
---
# Goedel-Prover-V2 SFT Dataset
SFT data. Total: 1,745,010 samples.
See [Goedel-Prover-V2 paper](https://arxiv.org/abs/2508.03613).
## Citation
```
@article{lin2025goedel,
title={Goedel-prover-v2: Scaling formal theorem proving with scaffolded data synthesis and self-correction},
author={Lin, Yong and Tang, Shange and Lyu, Bohan and Yang, Ziran and Chung, Jui-Hui and Zhao, Haoyu and Jiang, Lai and Geng, Yihan and Ge, Jiawei and Sun, Jingruo and others},
journal={arXiv preprint arXiv:2508.03613},
year={2025}
}
```
提供机构：
Goedel-LM
