DeepSeek-Prover-7B

深度求索· 2024-05-23 发布 ·语言模型 ·开源 ·DeepSeek-Prover 系列

深度求索 于 2024-05-23 开源形式化定理证明模型 DeepSeek-Prover。