漫话开发者 - UWL.ME 精选全球AI前沿科技和开源产品
2025-04-17 talkingdev

[开源]DeepMath数据集:10.3万道高纯度数学题助力推理模型训练

GitHub最新开源的DeepMath数据集为人工智能领域带来突破性资源——该数据集包含10.3万道经过严格过滤和去污染的数学问题,专门用于提升大语言模型的逻辑推理能力。这一资源解决了当前数学推理训练数据质量参差不齐的核...

Read More
2025-03-04 talkingdev

LLM自我奖励修正机制在数学推理中的突破性研究

近日,一项关于LLM(大语言模型)自我奖励推理的研究引起了广泛关注。该研究提出了一种创新的两阶段训练框架,使模型能够独立生成推理步骤、自我评估正确性,并在无需外部反馈的情况下迭代优化输出。这一框架结合了...

Read More
2025-01-25 talkingdev

论文DeepSeek-R1-通过强化学习提升LLM的推理能力

近日,DeepSeek团队发布了其最新研究成果DeepSeek-R1,旨在通过强化学习(RL)技术提升大型语言模型(LLM)的推理能力。DeepSeek-R1的核心目标是通过激励机制优化模型的推理过程,使其在处理复杂问题时表现出更高的...

Read More
2024-10-11 talkingdev

论文:深入探讨LLMs数学推理的局限性

近年来,LLMs在自然语言处理领域取得了显著进展,但在数学推理方面仍存在诸多局限性。尽管这些模型能够处理大量文本数据并生成复杂的语言输出,但它们在执行数学运算和逻辑推理时常常表现不佳。研究显示,LLMs在应对...

Read More
2024-02-08 talkingdev

开源数学推理AI模型DeepSeekMath

GitHub仓库发布了一个名为DeepSeekMath 7B的语言模型,专门设计用于解决复杂的数学问题。该模型训练了大量以数学为重点的内容,它可以理解数学问题的语法和语义,并根据其推理出答案。DeepSeekMath 7B是一个重要的AI...

Read More
2023-10-27 talkingdev

ToRA:集成Agent工具解决数学推理难题

ToRA是一系列工具集成的推理代理人,旨在通过与工具交互来解决具有挑战性的数学推理问题。通过与定理证明器、计算机代数系统等工具进行交互,ToRA能够发现新的证明策略,并在证明过程中自动应用这些策略。目前,ToRA...

Read More
2023-10-11 talkingdev

论文:提升大型语言模型(LLMs)的数学推理能力

研究人员正在探究数据增强技术对提高大型语言模型(LLMs)数学推理能力的影响。他们通过增强现有数据集中的查询,创建了一个新的数据集AugGSM8K,并开发了一个名为MuggleMath的模型。数据增强技术能有效提升模型的数...

Read More