deepseek-ai/DeepSeek-Prover-V1
收藏官方服务：
资源简介：
DeepSeek-Prover项目生成的用于数学定理证明的合成数据集，包含8百万个形式化声明及其证明，这些数据是从高中和大学级别数学竞赛问题中派生出来的。
A synthetic dataset for mathematical theorem proving generated by the DeepSeek-Prover project, containing 8 million formal statements with proofs, derived from high-school and undergraduate-level mathematical competition problems.
提供机构：
deepseek-ai
