热点
"数学推理" 相关文章
模型与「壳」的价值同时被低估？真格基金戴雨森 2025 AI 中场万字复盘
智源社区 2025-08-03T02:38:14.000000Z
AI拿下奥数IMO金牌，但数学界的AlphaGo时刻还没来
钛媒体：引领未来商业与生活新知 2025-08-01T08:51:28.000000Z
AI拿下奥数IMO金牌，但数学界的AlphaGo时刻还没来
虎嗅 2025-08-01T02:59:01.000000Z
AI拿下奥数IMO金牌，但数学界的AlphaGo时刻还没来
36kr 2025-08-01T02:39:17.000000Z
美版“梁文锋”不信邪
虎嗅 2025-07-31T06:54:43.000000Z
通义Qwen3新推理模型发布：思考、数学代码能力大幅提升
快科技资讯 2025-07-31T04:00:07.000000Z
MiroMind-M1: Advancing Open-Source Mathematical Reasoning via Context-Aware Multi-Stage Reinforcement Learning
MarkTechPost@AI 2025-07-30T04:38:06.000000Z
开源模型也能卷出SOTA！MiroMind-M1高效推理压缩token，训练数据与代码全透明
PaperWeekly 2025-07-30T03:06:45.000000Z
A Toolbox, Not a Hammer -- Multi-TAG: Scaling Math Reasoning with Multi-Tool Aggregation
cs.AI updates on arXiv.org 2025-07-28T04:42:51.000000Z
【周末特辑】7月第4周最火AI论文 | GUI-G2：高斯奖励提升GUI定位；MiroMind-M1：开源数学推理LLM
HuggingFace 每日AI论文速递 2025-07-26T07:57:30.000000Z
CoR：多范式思维加持，大模型也能学会“多思路解题”
微软研究院AI头条 2025-07-25T14:55:35.000000Z
Revisiting LLM Reasoning via Information Bottleneck
cs.AI updates on arXiv.org 2025-07-25T04:28:32.000000Z
DualDistill and Agentic-R1: How AI Combines Natural Language and Tool Use for Superior Math Problem Solving
MarkTechPost@AI 2025-07-25T04:10:50.000000Z
Improving LLMs' Generalized Reasoning Abilities by Graph Problems
cs.AI updates on arXiv.org 2025-07-24T05:30:55.000000Z
大模型模型取得国际奥数竞赛金牌级成绩。据英国《新科学家》杂志网站22日报道，谷歌旗下深度思维公司和美国OpenAI公司相继宣称，其AI模型在近日举行的国际数学奥...
虎嗅 2025-07-24T00:15:49.000000Z
2025.07.22 | MiroMind-M1提升数学推理；GUI-G$^2$高斯奖励助GUI定位。
HuggingFace 每日AI论文速递 2025-07-22T23:02:56.000000Z
ProofCompass: Enhancing Specialized Provers with LLM Guidance
cs.AI updates on arXiv.org 2025-07-22T04:34:00.000000Z
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
cs.AI updates on arXiv.org 2025-07-18T04:13:56.000000Z
VAR-MATH: Probing True Mathematical Reasoning in Large Language Models via Symbolic Multi-Instance Benchmarks
cs.AI updates on arXiv.org 2025-07-18T04:13:41.000000Z
大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准
36氪 - 科技频道 2025-07-17T08:59:27.000000Z