· devops
[Paper] FFTrainer：大语言模型训练中的快速故障切换与几乎免费状态管理
近期在大型语言模型（LLMs）方面的发展提出了对高效且稳健训练的新需求。随着LLM集群规模的扩大，节点故障、...
-
- · software
[Paper] Sigmoid函数的形式分析与通用逼近定理的形式化证明
本文提出了对 sigmoid 函数的形式化分析，并在 Isabelle/HOL 中给出了 Universal Approximation Theorem (UAT) 的完整机械化证明，...
- · devops
[Paper] AutoPas 中分子动力学模拟的向量化参数调优
Molecular Dynamics simulations 可以帮助科学家在原子尺度上获取对物理过程的宝贵洞察。本工作探讨了各种技术……
- · devops
[Paper] 双边缘辅助计算卸载与资源分配用于空间-空中-海洋集成网络
在本文中，我们提出了一种双边缘辅助的计算卸载与资源分配方案，专为空间‑空中‑海洋集成网络（SAMINs）量身定制。
- · software
[Paper] 探索大型语言模型在新手程序错误定位中的潜力与局限
新手程序员常常在错误定位方面面临挑战，因为他们的经验有限且对编程语法和逻辑的理解不足。传统的 me...
- · software
[Paper] HarnessAgent：规模化自动模糊测试 Harness 构建的工具增强 LLM 流水线
基于大型语言模型（LLM）的技术在生成程序模糊测试的 harnesses 方面取得了显著进展。然而，将它们应用于任意函数……
- · devops
[Paper] TokenScale：及时且精准的自动扩缩容，适用于分离式 LLM 服务的 Token Velocity
在 LLM 服务中，架构向 prefill/decode (PD) 解耦的转变提升了资源利用率，但在应对现代工作负载的突发性方面存在困难。
- · ai
[Paper] VS-Graph：可扩展且高效的图分类使用超维计算
图分类是一个基础任务，涉及从分子属性预测到材料设计等多个领域。虽然图神经网络（GNN）取得了……
- · ai
[论文] Vibe Coding 安全吗？在真实世界任务中对代理生成代码的漏洞进行基准评估
Vibe 编码是一种新的编程范式，人类工程师指示大型语言模型（LLM）代理完成复杂的编码任务，几乎不需要监督……
- · ai
[Paper] MagicQuillV2：精确且交互式的图像编辑与分层视觉提示
我们提出 MagicQuill V2，这是一种新颖的系统，引入了分层组合范式用于生成式图像编辑，弥合了语义……
- · ai
[Paper] CAMEO：多视角扩散模型的对应注意力对齐
多视角扩散模型最近作为一种强大的新视角合成范式出现，然而支撑其视图一致性的底层机制仍未被完全阐明……
- · ai
[Paper] OneThinker：全能图像和视频推理模型
强化学习（RL）最近在多模态大型语言模型（MLLMs）中引发视觉推理方面取得了显著成功。然而，现有的...