实体
DeepSeek Math
DeepSeek Math
PulseAugur coverage of DeepSeek Math — every cluster mentioning DeepSeek Math across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新框架TopoAlign利用代码提升LLM数学推理能力
研究人员推出TopoAlign，一个旨在通过利用海量代码库来增强大型语言模型（LLM）数学推理能力的新型框架。该方法通过将代码结构转化为镜像形式数学陈述的类似物，解决了正式数学语料库稀缺的问题，从而使在代码上训练的LLM能够提高其在数学自动形式化任务上的表现。在MiniF2F和Putnam等基准上的评估表明，DeepSeek-Math和Herald等模型取得了显著的进步，尤其是在形式陈述生成和类型检查等领域。
-
DeepSeek 将开源代理框架作为核心产品进行转型
DeepSeek 已将其战略转向专注于其代理框架，使其成为主要产品。此举于 8 月 13 日左右宣布，将该框架定位为核心产品，这一概念此前曾在人工智能社区中进行过辩论。该框架现已根据 MIT 许可证提供，表明了对开源原则的承诺。