deepseek-ai/DeepSeek-Prover-V1
收藏Hugging Face2024-09-12 更新2025-04-08 收录
下载链接：
https://hf-mirror.com/datasets/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
