实体
Math Stack Exchange
Math Stack Exchange
PulseAugur coverage of Math Stack Exchange — every cluster mentioning Math Stack Exchange across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
关于信任AI生成的Lean 4形式化证明的争论出现
Lean 4编程语言中AI生成形式化证明的可靠性正受到质疑。Math Stack Exchange上的一个讨论探讨了这些证明是否可以被信任，并强调了对其准确性和可验证性的潜在担忧。
-
新HiPO方法通过分割训练反馈来增强LLM推理能力
研究人员推出了一种名为HiPO（Hierarchical Preference Optimization，分层偏好优化）的新方法，旨在提高大型语言模型（LLM）的推理能力。与将整个响应视为单一单元的标准直接偏好优化（DPO）不同，HiPO将响应分割成不同的部分，如推理步骤和答案。这使得反馈更加细粒化，训练更具针对性，从而增强了模型处理复杂、多步推理任务的能力。在数学基准测试上的评估表明，使用HiPO进行微调的LLM在性能和逻辑一致性方…