HuggingFace镜像/DeepSeek-ProverBench
数据集 - DeepSeek-ProverBench:包含DeepSeek-Prover-V2模型（7B/671B参数），采用递归证明搜索合成冷启动数据，结合强化学习提升性能，还提供含325题的ProverBench基准，覆盖竞赛与教材数学问题。【此简介由AI生成】 - AtomGit AI社区