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
