· ai
[Paper] 从原子到复合：强化学习实现互补推理的泛化
RL 对推理能力的贡献机制——是激励新技能的综合，还是仅仅放大已有行为——仍然...
-
- · ai
[Paper] 我们离真正有用的 Deep Research Agents 还有多远？
深度研究代理（DRAs）旨在通过迭代的信息检索与综合，自动生成分析师级报告。然而，大多数现有的 DRA……
- · ai
[Paper] 主体策略优化 via 指令-策略协同进化
可验证奖励的强化学习（RLVR）提升了大型语言模型（LLMs）的推理能力，使得自主代理能够……
- · ai
[Paper] AI代理框架中代理开发者实践的实证研究
大型语言模型（LLMs）的崛起引发了对代理的浓厚兴趣，导致代理框架的快速增长。代理框架是软件……
- · ai
[Paper] 从优化的视角纠正 LLM 思考
近期大型语言模型（LLMs）的进展主要得益于其新兴的推理能力，尤其是通过长链式思考（CoT）……
- · ai
[Paper] 潜在辩论：用于解释 LLM 思维的代理框架
理解大型语言模型（LLMs）的内部思考过程以及幻觉产生的原因仍然是一个关键挑战。为此，我们引入了 l...
- · ai
[Paper] HERMES：面向异构应用的路由中间件用于边缘物联网系统
物联网的增长使新一代应用成为可能，将计算和智能推向网络边缘。这一趋势，如何...
- · devops
[Paper] 基于追踪的、时间分辨的 MPI 应用性能分析使用标准指标
对 MPI 应用程序进行详细的跟踪分析对于性能工程至关重要，但不断增长的跟踪规模和复杂的通信行为常常导致 c...
- · ai
[Paper] 融合人工智能与混合整数线性规划：航空运输中的可解释基于图的实例空间分析
本文分析了人工智能 (AI) 与混合整数线性规划 (MILP) 的结合，以在...中应对复杂的优化挑战。
- · software
[Paper] 生成具有描述性名称的 REST API 测试
自动化测试生成已成为确保软件质量的关键技术，尤其是在现代基于 API 的架构中。然而，自动生成…
- · ai
[Paper] 重新审视直接编码：可学习的时间动态用于静态图像脉冲神经网络
处理缺乏固有时间动态的静态图像仍然是脉冲神经网络（SNN）的一项根本性挑战。在直接训练的SNN中，静态...
- · ai
[Paper] 当前 Symbolic Regression 的挑战：优化、选择、模型简化和基准测试
符号回归（SR）是一种回归方法，旨在发现描述变量之间关系的数学表达式，且它通常...