deepseek-ai/DeepSeek-ProverBench
收藏Hugging Face2025-04-30 更新2025-05-31 收录
下载链接：
https://hf-mirror.com/datasets/deepseek-ai/DeepSeek-ProverBench
下载链接
链接失效反馈官方服务：
资源简介：
DeepSeek-Prover-V2是一个为Lean 4中的形式化定理证明设计的开源大型语言模型。它通过DeepSeek-V3的递归定理证明管道收集初始化数据，能够整合非正式和正式的数学推理。同时，还介绍了ProverBench数据集，包含来自不同数学领域的325个问题，用于对高中和大学水平的数学问题进行全面评估。
DeepSeek-Prover-V2 is an open-source large language model designed for formal theorem proving in Lean 4. It collects initialization data through a recursive theorem proving pipeline powered by DeepSeek-V3, integrating both informal and formal mathematical reasoning into a unified model. Additionally, the ProverBench dataset is introduced, containing 325 problems from various mathematical fields, aiming for comprehensive evaluation across high-school and undergraduate-level mathematics.
提供机构：
deepseek-ai
