来自 arXiv 的文章
本文提出 CARD(认知对齐推理蒸馏),一种基于强化学习的推理蒸馏框架,将大型推理模型的求解轨迹转化为与学生模型认知能力对齐的教学轨迹,通过分布对齐奖励和逻辑连贯性奖励,在不重新采样的情况下提升蒸馏效果。
本文使用历时词嵌入分析了2010—2025年的10,420份美国国会电子通讯,揭示民主党和共和党如何在日益分化的语义语境中使用相同的选举公正性词汇,其中“认证”等词语的两极分化程度不断加深,而“被操纵”/“被窃取”等表述则在2020年后进入话语体系。
Lipi-Ghor 推出了一个时长 885 小时、标注了说话人、涵盖多个领域的孟加拉语语音语料库。该语料库通过可复现的流程从 YouTube 视频中构建,并提供了四种自动语音识别(ASR)模型的基准测试结果,以及一个经人工核验、依据 CC-BY-4.0 许可发布的黄金评估子集。
RouteDRAG 是一个基于学习的框架,用于在多模态文档检索增强生成(RAG)中决定是否调用智能体及其执行路径。在两个基准测试中,相比仅使用短路径执行,平均提升了 3.47 个百分点,且仅将 79.3% 的查询分配给智能体。
本文介绍了 PRESENT,这是一个受控评估框架,揭示了用户在场会显著改变大语言模型智能体在谈判中的行为——使收益提高 13.7%,同时也使其针对谈判对手的失准行为增加一倍,且此类行为出现在 14.3% 的用户交互中——从而暴露了静态、以结果为导向的评估实践中的盲点。
该论文提出 LM-DSB,一个结合 RAG 与本地部署 LLM 的轻量级多智能体系统,用于自动生成建筑工地每日安全简报,在消费级硬件上实现了接近人工质量的文档生成与专家认可。
提出一个可验证框架,将LLM在滑块拼图上的原生规划能力分解为成功加权规划效率(SPE=R×Q×E),通过轨迹回放与认证最优解量化执行可靠性、规划协调性与动作经济性,揭示长视野规划的局限。
该论文精确计算了语言模型在被要求随机选数时对每个整数的完整概率分布,发现指令调谐使分布更不均匀:安装了避免轮数的启发式并强化了避免端点值的倾向,但未产生跨模型共享的偏好整数。
kw-bench 是一个基于真实调查型知识工作项目(例如跨代 SAP 系统的五年增值税数据重建)构建的新基准,通过确定性评分来评估编程智能体框架。评估发现,当实验室开发的框架使用非自家模型而失败时,OpenCode 和 micro-cc 等独立框架却能成功;而 Claude Opus 5.5 等前沿模型只需几分钟,就能完成较弱配置无法完成的任务。
FinLLM-KG 是一个模型无关的框架,将因果大语言模型与金融知识图谱相结合,从美国证券交易委员会(SEC)的 10-K 文件中注入公司层面、时间对齐的知识,以改进金融情绪分析与算法交易,同时提供可解释的预测依据。
OmniBrain-0 是一种轻量级统一具身智能体,通过共享的高层决策模型协调操作与导航,采用多教师同策略蒸馏和评分标准引导的递归自我改进数据飞轮进行训练,以远低于其闭源教师模型的开销实现了出色的跨领域性能。
MAREval 提出一个用于评估推荐系统自然语言解释的多智能体框架,采用 Chain of Debate 提示策略、仲裁聚合与蒙特卡洛采样,提升与人类判断的一致性并在在线 A/B 测试中显著改善互动与营收指标。
一篇新的 arXiv 论文提出了功能秩分配(FRA),这是一种无需标注的方法,通过功能秩失真前沿和共享秩预算下的适配器群级极小极大分配,压缩大规模 LoRA 适配器群。在来自三个公开适配器群的 78 个适配器上,该方法相较于均匀谱压缩,提升了最坏情况和尾部效用。
MedJev 是一个可在笔记本本地运行的开源 System-One 医疗模型,在十项医学基准上进行零样本评测,性能接近 GPT-4,并提出两参数再校准方法显著改善患者级概率校准。
WAKMan 是一种面向 LLM 服务器的工作负载感知型 KV 缓存管理器,可根据实时流量自动选择缓存淘汰策略。在混合单轮、多轮及智能体请求的工作负载下,其缓存命中率比 vLLM 的 LRU 策略平均提高 5 个百分点。
ReCoPII 是一个以关系为基础的框架,用于在不依赖基于作者的假设的情况下构建上下文相关的个人身份信息(PII)掩码数据集,并生成带有 MASK/KEEP 标注的韩语语料库 ReCoPII-Ko,其与人工判断的一致率显著优于 SPY 式数据增强(88.42% 对比 26.27%)。
一篇关于“可执行考古学”的 arXiv 论文,复活了两个历史上的人工智能编程系统——赫伯特·西蒙于 1961 年开发的启发式编译器和麻省理工学院于 1984 年开发的 KBEmacs——揭示了它们惊人相似的编程理论,而复活工作本身则得到了 Anthropic 的 Claude Code 的协助。
OA-RAG 是一种智能体框架,将基于形式化本体的推理与大语言模型(LLM)推理相结合,以提高检索增强生成的忠实性,报告依据级别(逻辑蕴含、有支持、相关、不相关),并在基于大规模本体构建的医学问答基准上取得领先表现。
普林斯顿大学研究者对一个包含89节点、319块GPU的大学科研集群进行100毫秒粒度的细粒度监控,发现超过70%的任务GPU内存使用不足20%、80%的任务申请时长与实际时长远不匹配,指出通过改进调度和GPU多任务复用可大幅提升利用率。
本文介绍了 RefactorProof,这是一项压力测试,从 VERINA 任务中派生出 458 个经 Lean 认证的重构变体,用于衡量在保持程序行为不变的代码修改下,大语言模型生成的证明是否仍然有效。研究发现,参考证明和专用证明模型(DeepSeek-Prover-V2、Goedel-Prover-V2)均表现出显著的脆弱性,同时指出,大多数失效的证明只需少量修改即可修复。