· devops
[Paper] 关于 HPC 系统中能效分析的挑战：评估 Synthetic Benchmarks 与 Gromacs
本文讨论了在分析合成基准测试和 Gromacs 软件包在 Fritz 与 Alex HPC 系统上的能效时所遇到的挑战。
-
- · devops
[Paper] 分布式量子计算与 Fan‑Out 操作及 Qudit：分布式全局门的案例（初步研究）
近年来，关于分布式量子计算的大量研究主要集中在纠缠对和分布式双量子比特门的使用上。但也有关于 ef… 的研究。
- · 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，这是一种新颖的系统，引入了分层组合范式用于生成式图像编辑，弥合了语义……