语言模型在针对精选的医学案例研究和情景描述的诊断评估中表现出色，达到或超过临床专业人员的水平。

脑肿瘤是一种影响所有人群的医学疾病。医学上，它被描述为非必要细胞在靠近或穿透…

高精度 CNC 加工自由形航空航天部件需要在检查、仿真和工艺知识的指导下进行有界补偿。Off-the...

Static analysis tools 对于确保 Rust 程序的 memory safety 至关重要，尤其是随着 Rust 在 safety‑critical domains 中的采用不断增加。然而，...

Vision Transformers (ViTs) 实现了最先进的分割精度，但需要大规模的训练数据集，因为每一层都有独特的参数必须……

急诊科分诊为患者分配一个决定治疗优先级的急性度评分，临床证据记录了持续存在的性别差异……

使用 AI 代理构建的多智能体系统（MAS）能够满足多种用户意图，可用于设计和构建一系列相关应用。然而……

从 unnormalized densities 中采样类似于 generative modeling 问题，但 target distribution 是由已知的 energy function 定义的……

Sessions 是 MPI-4 标准中引入的主要特性之一。它通过允许应用程序…

大型语言模型（LLMs）容易出现事实性幻觉，危及其在实际应用中的可靠性。现有的幻觉检测器主要……

AI生成的文本如今在各个领域和异构生成流水线中大规模产生，这使得对分布漂移的鲁棒性成为核心需求。

准确的 school detection 对支持教育倡议至关重要，包括基础设施规划和扩大对服务不足地区的 internet connectivity。

训练用于反应化学的机器学习原子间势（MLIPs）通常受到量子化学标签高成本和稀缺性的瓶颈限制。

随着 quantum technologies 的加速发展及其日益增长的 computational potential，quantum systems 正被用于 simulations 和其他…

开发者在第三方库（Libs）之上创建现代软件应用程序（Apps）。当库漏洞可以通过应用程序代码被利用时，…

一些近期的 Transformer 架构让后期层能够访问在最早层计算得到的表示，这一做法的动机来源于观察到低层特征……

编码代理通常能够通过每次提示的安全审查，但在将任务分解为常规工程工单时，却会交付可被利用的代码。挑战在于…

尽管近期的 LMM 在视觉感知方面变得更强大，但它们在需要对视觉证据进行多步推理的问题上仍然不可靠……

标准差分隐私对所有特征施加统一的隐私约束，忽视了敏感特征和不敏感特征之间的固有区别……

随着 quantum computing 从理论实验转向实际应用，quantum software 的可靠性已成为一个关键的瓶…

油藏表征工作流程日益依赖基于图像的、machine‑learning / deep‑learning，甚至是generative AI 方法，但公开可用的 …

概念分析——提出 definitions 并通过 counterexamples 来细化——是 philosophical methodology 的核心。我们研究 language 是否…

大型语言模型可以在推理时通过提示或激活干预进行引导，但激活引导方法往往表现不如比较……

本文提出了一种可复现且面向过程的管道，用于临床路径的预测监测。该方法整合了数据提升、时间重建……

受边缘环境中联邦学习（FL）日益普及的推动，我们首次系统性地对传输层中断进行表征。

形式验证提供了对软件正确性和安全性的最高保证，但将其应用于大规模、不断演化的系统仍然是一个重大挑战。

本文分析了旨在将传统软件开发小组转变为以协作为中心的混合结构的战略教育过程。

ASIC 加密货币矿机是区块链基础设施的核心组成部分，直接将计算和能源转化为货币价值。尽管它们的生态…

我们将 day-ahead transmission topology planning 和 congestion management 视为一个顺序的 multi-objective optimization problem，并开发了两种 complementary…

理解生物神经网络和人工神经网络如何通过连通性实现计算是神经科学和机器学习中的核心问题。

理解生物神经网络和人工神经网络如何通过连通性实现计算是神经科学和机器学习的核心问题。我...

已经证明，专用架构，如 FPGA 和 AMD 的 AI Engines（AIEs），有潜力提供能源和性能优势……

随着exascale系统实现前所未有的并发，传统的性能分析工具在大规模遥测的开销方面面临困难。我们提出了一个…

我们研究在模型 o… 中为具有显著超线性多项式时间（顺序）复杂度的问题设计 N^{o(1)}‑轮协议的可能性。

存储位置、相位或其他连续变量的循环网络需要在长时间范围内保持中性的状态空间方向。我们给出一个对称…

现代 GPU 越来越依赖专用的 asynchronous 硬件单元来提供高性能。然而，这些单元常常未被充分利用，因为今天的…

近期在 large language models 方面的突破推动了软件系统（即 agents）的兴起，这些系统能够在开放环境中代表用户以日益自主的方式执行任务。

一个多世纪以来，电网一直依赖于单一的统计假设：负荷多样性——即数百万用户的非相关需求的原理。

Speculative decoding 通过使用一个小的 draft 模型来提出候选 token，从而加速大规模语言模型（LLM）的推理，这些候选 token 将由更大的 target 模型进行验证……

Speculative decoding 通过使用一个小的 draft model 提出候选 token，以加速 large language model (LLM) 的推理，并由更大的 target model 验证……

确保区域社会经济统计数据的一致性是国家统计机构的核心任务。传统的验证工具，如 range …

复合材料表现出强烈的层次性和各向异性特性，这些特性受跨越组成材料、层片、层合体、结构等的耦合机制支配，...

Smart contract 漏洞在 Decentralized Finance 中每年导致数十亿美元的损失，然而安全社区面临着一个关键的瓶颈……

尽管强化学习（RL）取得了显著进展，模型性能仍然对算法和超参数配置高度敏感，而 ge...

农村专题道路网络建设旨在从农业机械的运动轨迹图像中提取拓扑道路结构。然而，这一任务...

传统的图像质量评估（IQA）方法依赖于平均意见分数（MOS），收集这些分数需要大量资源，并且无法提供可解释的……

跨语言代码克隆检测（X-CCD）具有挑战性，因为用不同语言编写的语义等价的程序在表面相似性上往往几乎没有共同点。

科学家们越来越依赖基于传感器的数据，但在边缘到云的全链路中将原始数据流转化为洞察仍然困难。Provisioning...