· 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）是一种回归方法，旨在发现描述变量之间关系的数学表达式，且它通常...
- · ai
[Paper] Morphling：快速、融合且灵活的大规模 GNN 训练
图神经网络（GNN）通过将不规则、受内存限制的图遍历与规则、计算密集的稠密矩阵运算相结合，提出了一个根本性的硬件挑战。
- · ai
[Paper] 上下文逆最优性用于公平数字孪生：基于偏好的方法
Digital Twins (DTs) 正在越来越多地作为复杂社会技术系统中的自主决策者使用。它们的数学上最优的决策常常会出现偏差……
- · software
[Paper] MIT Lincoln Laboratory：提升研究项目的软件支持的案例研究
软件在复杂系统开发和原型制作中扮演着日益重要的角色，近年来，MIT Lincoln Laboratory一直致力于改进……
- · devops
【论文】StarDist：用于分布式图算法的代码生成器
现实世界中的关系数据通常以图的形式组织，这些图提供了进行分析推导所需的逻辑抽象，使其简化……