RL_dataset_V2
收藏官方服务：
资源简介：
# Goedel-Prover-V2 RL Dataset This dataset contains RL data with two task subsets. - `lean4_completion`: Whole Proof Generation - `lean4_revision`: self-revision 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} } ```
提供机构：
maas创建时间：
2026-02-26
