近期的深度伪造检测方法越来越多地探索频域表示，以揭示在时域中难以检测的操纵伪影。

半监督医学图像分割是一种有效的方法，用于应对标注数据有限的场景。现有方法主要依赖于框架……

我们提出了一种新颖的框架，将任意姿态的人体分解为可动画的多层 3D 人体化身，并实现身体与服装的分离。Conventi...

去中心化金融（DeFi）质押是 DeFi 生态系统中最突出的应用之一，DeFi 项目使用户能够在 th... 上质押代币。

管理迭代求解器（iterative solvers）在稀疏线性系统（sparse linear systems）中的高计算成本是科学计算中已知的挑战。此外，科学应用…

Software engineering (SE) agents 由 large language models 驱动，正日益在实践中被采用，但它们往往会产生巨大的金钱成本。我们介绍…

漏洞严重威胁软件系统，使及时应用 security patches 对于缓解 attacks 至关重要。然而，software vendors …

我们推出 AutoMonitor‑Bench，这是第一个旨在系统评估基于 LLM 的不当行为监控器在多样任务中可靠性的基准。

现代软件系统日益复杂，使得理解其行为变得越来越具有挑战性，推动了对可解释性的需求以提升……

复杂 AI 系统的快速采用已经超出了确保其透明性、安全性和监管合规性工具的开发速度。在本文中，...

基于搜索的测试对于评估自动驾驶系统（ADSs）的安全性和可靠性至关重要。然而，现有的方法通常建立在……

一些互连网络基于完全图拓扑结构。中等规模的网络可以基于单个完全图。然而，大规模的……

基于Transformer的语言模型的出现已经重塑了AI系统处理和生成文本的方式。在软件工程（SE）中，这些模型现在支持di...

软件材料清单（SBOM）是一种机器可读的工件，系统地组织软件信息，提升供应链透明度和…

Pharo 提供了一个基于语义启发式的高级补全引擎，它在惰性架构中协调特定的 fetcher。这些启发式…

分布式 AI 系统在计算、通信和部署层面面临关键的内存管理挑战。基于 RRAM 的内存计算遭受……

我们提出了 Mesh4D，一种用于单目 4D 网格重建的前馈模型。给定一个动态物体的单目视频，我们的模型能够重建该物体的…

最近，Quantum Visual Fields（QVFs）在模型紧凑性和收敛速度方面表现出有希望的改进，用于学习提供的2D或3D信号……

夜间颜色恒常性仍然是计算摄影中的一个具有挑战性的问题，因为低光噪声和复杂的照明条件。我们提出了 RL‑A…

从图像中恢复干净且精确的几何形状对于机器人技术和增强现实至关重要。然而，现有的 geometry foundation models 仍然存在 se...

我们证明了在线多校准的紧致下界，确立了其与边际校准之间的信息论分离。在一般设置下…

功能性抓取与灵巧机器人手是实现工具使用和复杂操作的关键能力，但进展受到两个方面的限制……

指称表达分割（RES）和指称表达理解（REC）分别对表达式描述的对象进行分割和检测，而指称表达…

随着语言模型的能力日益提升，用户期望它们不仅提供准确的响应，还能表现出符合多样化人类偏好的行为……