arXiv

不动点迭代构成了静态分析器的算法核心。对不动点引擎进行并行化可以显著缩短分析时间。之前的应用……

我们提出了一个用于在 serverless 平台上动态管理结构化并行处理 skeleton 的框架。我们的目标是实现类似 HPC 的性能和……

随着 AI coding agents 的快速崛起，作为软件工程师的根本前提受到质疑。在本愿景论文中，我们重新审视……

在大规模分布式系统中，移动应用容易受到 backend service 故障的影响，然而传统的 chaos engineering 方法无法大规模…

Moore‑Penrose 伪逆 (PInv) 是线性系统的基本解。在本文中，我们提出了一种对 PInv 的自然推广……

高效且持续地将 large pretrained models 适配到新任务对于 real‑world deployment 至关重要，但由于 catastrophic forgetting 等挑战仍然困难。

多图像空间推理仍然是当前多模态大语言模型（MLLMs）的挑战。虽然单视角感知本质上是二维的，推理……

由提示的大型语言模型构建的多代理系统可以提升多轮推理能力，然而大多数现有的流水线依赖于固定的、跨轨迹的通信……

多模态大型语言模型（MLLMs）通过连接视觉和语言，在多模态感知和推理方面取得了显著进展。然而，大多数现有...

为了完成人类以 natural language 提供的任务，机器人必须解释指令，生成并回答与 scene understanding 相关的问题，……

近期在空间推理方面的进展，使用多模态大语言模型（MLLMs）越来越多地利用来自3D编码器的几何先验。然而，大多数现存……

自回归大型语言模型（LLMs）表现出色，但需要本质上顺序的解码，导致推理延迟高且 GPU 利用率差……

人类很少在显式的全身动作层面上规划与物体的全身交互。高级意图，例如 affordance，定义了目标……

多模态大语言模型（MLLMs）最近被用于通用多模态检索，其中链式思考（CoT）推理能够提升候选项的质量。

预训练的视觉语言模型对物理世界没有良好的直觉。最近的研究表明，监督微调可以提升模型的……

Vision Foundation Models (VFMs) 在应用于各种下游 2D 任务时取得了显著成功。尽管它们效果显著，但它们常常表现出……

Out-of-distribution（OOD）检测，将高维数据映射为标量 OOD 分数，对于机器学习模型的可靠部署至关重要……

基于大型语言模型（LLM）的多代理系统能够实现富表达的代理推理，但其扩展成本高，并且在时间步对齐的场景下校准性较差。

主动推断（AIF）通过最小化期望自由能（EFE）统一了探索与利用，平衡认知价值（信息增益）和实际价值（...）。

近期针对实时长视频生成的研究通常采用 streaming tuning 策略，尝试使用 short‑cont（短上下文）来训练 long‑context student。

记忆在超出单个上下文窗口运行的大型语言模型（LLM）代理中变得日益核心，然而大多数现有系统仍依赖离线的、查询式的…

虚拟现实（VR）已成为评估学校安全措施的强大工具，尤其在学校枪击等高风险情境中，提供实验……

大型语言模型（LLMs）表现出持续的误校准，尤其是在指令微调和偏好对齐之后。修改后的训练目标可以 i...

当 diffusion model 并未记忆 training data set 时，它到底是如何实现 generalize 的？对它生成的 distribution 进行 quantitative understanding …