实体
Nanyun Peng
Nanyun Peng
PulseAugur coverage of Nanyun Peng — every cluster mentioning Nanyun Peng across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
Apple的Ctrl-R框架通过结构化轨迹控制增强LLM推理能力
Apple的机器学习研究团队开发了一个名为Ctrl-R的新框架，以增强大型语言模型的推理能力。该框架使用强化学习来指导模型探索和获取各种推理模式，而这些模式在标准采样方法中通常很稀疏。实验表明，Ctrl-R在语言模型和视觉-语言模型的数学推理任务上都带来了持续的改进。
-
Mathlib 网络分析揭示了人类组织与数学依赖之间的脱节
一篇新论文通过将 Mathlib（Lean 4 中最大的形式化数学库）视为一个网络来进行分析。研究人员发现，该库基于文件夹和命名约定的组织结构，与其定理之间的实际数学依赖关系不符。研究还显示，很大一部分逻辑依赖关系跨越了命名边界，并且许多连接是由编译器隐式生成的，而不是由人类显式编写的。此外，网络分析表明，最常使用的元素是等词的自反性，而不是像中国剩余定理那样在数学上更深刻的定理。