arXiv

在安全关键系统工程中采用 large language models 受到可信度、可追溯性以及与既定验证标准的一致性等因素的限制。

传统数据库模糊测试技术主要关注语法正确性和通用SQL结构，忽略了关键但鲜为人知的DBMS特性，例如……

开源软件（OSS）社区历来以英语为主要语言，主导代码、文档和开发者互动……

自主编码代理正日益通过在 GitHub 上提交 pull request 为软件开发做出贡献；然而，人们对这些贡献的了解仍然很少……

iCloud Drive 提供了文件系统接口，但实现的云同步语义在根本上与 POSIX 不同。这种差异并不是 …

表征相似性度量通常要求匹配所有单元，这使它们容易受到神经表征中常见的噪声和离群值的影响。我们……

在当今碎片化且以机构为中心的医疗生态系统中，管理个人健康数据是一项挑战。个人往往缺乏对这些数据的有意义的控制……

本简报介绍了一种运行时自适应、性能增强的向量引擎，具备低资源、迭代式 CORDIC 基础的 MAC 单元，用于边缘 AI 加速。T...

强化学习微调已被证明在引导生成扩散模型朝向图像和分子领域的期望属性方面有效。Graph...

数字协作系统支持对复制数据的异步工作，当并发操作无法明确 integrate 时会产生冲突。

现代AI系统的卓越性能源于前所未有的数据、计算和能源规模——远远超出所需的资源……

Transformer 模型包含大量内部冗余，这源于坐标依赖的表示和连续对称性，无论是在模型空间中还是在……

随着具身代理在 VR、远程呈现和数字人应用中变得核心，它们的动作必须超越与语言对齐的手势：代理应该转向 t...

大型语言模型（LLMs）在数学、编码等各个领域的推理任务上取得了显著进展。然而，它们的表现……

自主（噪声不可知）生成模型，例如 Equilibrium Matching 和 blind diffusion，挑战了标准范式，通过学习单一的、时间不变的……

Integral Field Spectroscopy (IFS) 调查提供了一个独特的新视野，可在空间和光谱维度上进行学习，并可能帮助揭示前…

全面检索多样化文档对于处理允许广泛有效答案的查询至关重要。我们提出了 retrieve-verify-retrieve (RVR)…

本研究提出了一种集成技术 SPQ（SVD-Pruning-Quantization），用于大语言模型（LLM）压缩，结合了保留方差的奇异值...

本文提出了一个直接框架，用于在 U(d) 的闭子群上构建具有隐藏状态的序列模型。我们采用最小公理化设置，并推导出递归……

图神经网络（GNN）的表达能力通常通过与 Weisfeiler‑Leman（WL）算法以及一阶逻辑片段的对应关系来分析。

尽管 deep learning 在 computer vision 领域取得了成功，但在识别经历了 group-symmetric transformations 的对象时仍然存在困难，尤其是这些变换很少出现……

准确预测主机功率对于船舶性能优化、燃油效率以及遵守排放法规至关重要。Convention...

生物神经网络（如海马体）可以在内部生成类似于刺激驱动活动的“重放”。最近的 computational models of replay …

我们提出 PRISM-FCP（Partial shaRing and robust calIbration with Statistical Margins for Federated Conformal Prediction），一种对拜占庭容错的联邦协同预测方法。