deepseek-ai/DeepSeek-ProverBench
General NLPEnglish
The deepseek-ai/DeepSeek-ProverBench dataset is a English General NLP resource from deepseek-ai at 2025. With 120 downloads and 47 likes, it is actively used by the community and is a n<1K-scale dataset.
About deepseek-ai/DeepSeek-ProverBench
1. Introduction
We introduce DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive theorem proving pipeline powered by DeepSeek-V3. The cold...
Details
- Task
- General NLP
- Language
- English
- Format
- Parquet
- Rows / instances
- N/A
- Size
- n<1K
- Creator
- deepseek-ai
- Year
- 2025
- Downloads
- 120
- Likes
- 47