深

DeepSeek-Prover-V1.5

融合证明助手反馈强化学习与树搜索的定理证明模型。

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

深度求索于 2024-08-15 开源强化学习形式化定理证明模型 DeepSeek-Prover-V1.5。

关键参数

搜索机制优化: 蒙特卡洛树搜索
开源属性: 开源

来源

官方公告 ↗开源强化学习形式化定理证明模型 DeepSeek-Prover-V1.5 ↗

深度求索的其他模型

DeepSeek-V4.1-Flash-10172026-10-17 DeepSeek-V4.1 Flash2026-09-10 DeepSeek-V4-Flash-Vision-Exp2026-08-21 DeepSeek-V4-Pro-08132026-08-13 DeepSeek-V4-Flash-07312026-07-31 DeepSeek-V4-Flash-Preview2026-04-24