1 人关注了这个组织
说明
- 条目同步来自 Hugging Face 主要方便针对性讨论。
|
DeepSeek@deepseek-ai OA0 第 868 号组织，创建于 2026-02-05 |
|
|
deepseek-ai/DeepSeek-Prover-V1
72
• DeepSeek
• deepseek-ai/DeepSeek-Prover-V1
• 2024-09-12
|
0 |
|
|
deepseek-ai/DeepSeek-ProverBench
45
• DeepSeek
• deepseek-ai/DeepSeek-ProverBench
• 2025-04-30
|
0 |
| 1 |
|