神经网络被假设实现可解释的因果机制，但验证这一点需要找到因果抽象——一种更简单的、高层次的……

基于扩散的真实世界图像超分辨率（Real-ISR）在感知质量上表现出色，但由于迭代采样导致的高计算成本而受到限制。

GPU 加速的服务器平台虽然共享大部分硬件架构，但由于细微的硬件差异——不同…

在机器人系统中，安全关键任务规划仍然具有挑战性：传统规划器在可扩展性方面表现不佳，基于强化学习（Reinforcement Learning，RL）的方法……

现代显微镜常规产生千兆像素图像，包含跨多个空间尺度的结构，从细胞形态的细微特征到更广阔的组织或……

Diffusion models 实现了 state-of-the-art 视频生成质量，但由于需要大量的 sequential denoising steps，inference 仍然非常昂贵……

尽管具备强大能力，Multimodal Large Language Models（MLLMs）仍可能产生看似合理却错误的输出，阻碍可靠部署。准确的……

我们提出了一种可扩展的方法论，用于在多轮交互中评估语言模型，使用一套需要有效沟通的协作游戏……

小型语言模型（SLMs）已成为针对特定任务的高效替代方案，取代大型语言模型。然而，它们常常被用于...

RTL 设计的属性检查是形式验证中的核心任务。在可用的引擎中，IC3/PDR 是一种被广泛使用的骨干，其性能至关重要。

背景。Automated test execution 是收集软件项目质量信息的重要活动。然而，所谓的 flaky tests …

Serverless computing 简化了云部署，但在管理服务延迟和碳排放方面带来了新的挑战。降低 cold-start latency 需要……