deepseek-ai/DeepSeek-Prover-V1
General NLPEnglish
The deepseek-ai/DeepSeek-Prover-V1 dataset is a English General NLP resource from deepseek-ai at 2024. With 1.5K downloads and 73 likes, it is actively used by the community. It is released under the other license and is a 10K<n<100K-scale dataset.
About deepseek-ai/DeepSeek-Prover-V1
Evaluation Results |
Model & Dataset Downloads |
License |
Contact
Paper Link👁️
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
1. Introduction
Proof assistants like Lean ha...
Details
- Task
- General NLP
- Language
- English
- Format
- Parquet
- Rows / instances
- N/A
- Size
- 10K<n<100K
- Creator
- deepseek-ai
- Year
- 2024
- License
- other
- Downloads
- 1526
- Likes
- 73