DeepSeek开源数学大模型,高中、大学定理证明新SOTA
机器之心编辑部
DeepSeek-Prover-V1.5 通过结合强化学习和蒙特卡洛树搜索,显著提升了证明生成的效率和准确性。
报告标题:DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search 报告链接:https://arxiv.org/pdf/2408.08152 GitHub 链接:https://github.com/deepseek-ai/DeepSeek-Prover-V1.5
通用模型
形式化数学的专用模型
© THE END
转载请联系本公众号获得授权
投稿或寻求报道:[email protected]
微信扫码关注该文公众号作者
戳这里提交新闻线索和高质量文章给我们。
来源: qq
点击查看作者最近其他文章