[Paper] 在相关设备故障情况下的联邦学习鲁棒同步
Probabilistic Synchronous Parallel(PSP)是一种用于分布式学习系统的技术,通过抽样一部分参与者来降低同步瓶颈……
4602 posts from this source
Probabilistic Synchronous Parallel(PSP)是一种用于分布式学习系统的技术,通过抽样一部分参与者来降低同步瓶颈……
Concept Bottleneck Models (CBMs) 旨在通过使用人类可理解的概念来结构化预测,以提升 Deep Learning 的可解释性,但它们…
大型语言模型 (LLMs) 在软件开发中的快速普及,使得区分 AI 生成的代码和人工编写的代码成为一项关键挑战。
随着区块链应用场景的不断扩展,联盟链对共识机制提出了更高的性能和安全性要求。
高性能计算(HPC)应用正日益在异构环境中执行,这为编程和软件带来了新的挑战……
Code localization 是自主软件工程的基石。最近的进展在真实世界问题基准上取得了令人印象深刻的表现。...
脉冲神经网络(SNN)正迅速获得动力,作为资源受限的边缘系统中传统人工神经网络的替代方案。我...
大量研究依赖数据分析脚本来处理、清理和可视化数据。然而,最近的研究表明,这些脚本往往难以理解……
许多小规模的软件系统,即具有有限 codebase 或 binary size 的系统,广泛用于日常任务中,但它们的可配置性仍然在很大程度上未被……
借鉴 continuous integration 的理念,我们提出了针对 high performance applications 的 automated benchmarking pipeline 概念。Customization 和 …
随着 serverless computing 在工业界和学术界的使用日益增长,了解驱动底层平台的机制至关重要。
Feature toggles 使软件系统能够逐步发布和进行实验,但它们常常超出预期的生命周期而持续存在,累积为技术债务。
量子软件测试近年来受到关注,促使开发了各种技术来自动化量子软件的测试。Th...
对心电图(ECG)信号的自动分类是诊断和监测心血管疾病的有用工具。本研究比较了三种 tr...
通用机器学习原子间势 (uMLIPs),在涵盖无机材料和有机分子的极其多样化数据集上进行预训练……
低地球轨道(LEO)巨型星座将云‑边缘连续体延伸到太空,实现卫星边缘计算。然而,联邦学习(FL)在 …
在评估预算紧张的情况下设计仍然有效的optimizers至关重要,尤其是在诸如cardiac digital twinning等昂贵的black-box场景中。我们提出...
影响力最大化(IM)是复杂网络分析中的一个基础问题,具有广泛的现实应用。迄今为止,现有的方法……
始终在线的转换器健康监测需要 sub‑mW 边缘推理,这一范式对 GPU‑based physics‑informed neural networks 来说是不可及的。本文工作将……
代码搜索,被视为信息检索(IR),是现代软件工程的基石,并日益为检索增强生成(RAG)提供动力,提升……
大型语言模型容易出现事实不准确的幻觉式陈述。这些错误的一个关键来源是通过 sup... 接触新的事实信息。
传统的基于帧的相机能够捕获丰富的上下文信息,但在动态场景中受到时间分辨率有限和运动模糊的影响。Event camera...
本文聚焦于将 flow matching models 与人类偏好对齐。一个有前景的方法是通过直接反向传播 reward gradients 来进行 fine‑tuning …
本文提出了一种图像重新照明的方法,能够在照片中对多个光照属性进行精确且连续的控制。我们……
人工智能生成内容(AIGC)工具的快速进展,使得可以按需为网页设计创建图像、视频和可视化内容。
高级自动驾驶需要能够对多模态未来不确定性进行建模且在闭环交互中保持鲁棒性的运动规划器。A...
语言模型是否能够系统性地概括仍然是一个活跃的争论。然而,经验性能(empirical performance)受包括训练(training)在内的多重因素共同影响……
LLM-as-judge 框架正日益用于自动 NLG 评估,但它们的单实例可靠性仍然了解不足。我们提出一种双管齐下的……
许多 SLT 系统悄然假设,简短的手语片段可以直接映射到口语单词。这个假设会失效,因为手语者常常创造 mea...
视频生成已经快速发展,最近的方法能够产生越来越逼真的动画效果。然而,现有的基准——主要为……
MLP 是现代深度学习(DL)架构中在表格数据监督学习中被广泛使用的主干,AdamW 是用于训练的首选优化器……
在过去的一年里,空间智能受到了越来越多的关注。许多先前的工作从视觉空间智能的角度研究它,其中……
我们研究基于截断正交多项式核构建的支持向量机(SVM)的后训练可解释性。由于相关的再现…
高效的原语空间分配是3D Gaussian Splatting的基础,因为它直接决定了表示之间的协同作用……
3D policy learning 预计能够实现更优的泛化和跨形体转移,但进展受到训练不稳定和严重过拟合的阻碍。
理解情感是智能系统能够与人类互动的基本能力。视觉语言模型(VLM)已经取得了巨大的 p...
基于电路切分的混合高性能计算(HPC)-量子工作负载将大型量子电路分解为独立的片段,但现有的...
节点嵌入充当图神经网络的信息接口,但它们的实证影响常常在不匹配的 backbones、splits 和 … 中报告。
本文介绍了 Prism——首个用于张量程序的符号化超优化器。其核心思想是 sGraph,一种符号化的层次化表示,能够紧凑地……
可靠的不确定性估计对医学图像分割至关重要,因为自动轮廓会用于下游量化和临床决策支持。
在本文中,我们专注于自动化软件开发生命周期(SDLC)中两项广泛使用的 Verification and Validation (V&V) 活动:Soft…
同时克隆非正交态的不可能性是量子理论的基础。即使允许近似误差,克隆……
随着 LLM 代理与其他追求目标的代理之间有效且安全互动的重要性日益提升,然而,最近的研究却报告了相反的趋势:LLM …
Looped transformers 通过在更难的问题上增加迭代次数来实现测试时计算的可扩展性,但仍不清楚哪些架构选择能够让……
Speculative decoding(SD)通过让轻量级草稿模型提出输出,而让更强大的目标模型进行验证,从而加速大语言模型的推理。
我们研究在零和矩阵博弈中学习 minimax 策略的问题。Fiegel 等人(2025)最近表明,实现 last‑iterate 收敛在此……
持续强化学习必须在保持记忆与适应之间取得平衡,然而许多方法仍然依赖单模型保留,致力于一个不断演化的策略……
LLM-as-a-judge范式已经成为自动化AI评估流水线的运行核心,但它基于一个未经验证的假设:评审者评估…