· ai
[论文] 通过正则化实现私有ML的高效公开验证
使用差分隐私（DP）进行训练为数据集中的成员提供了一种保证，即他们不能被已发布模型的用户识别。然而，尽管如此，...
-
- · ai
[Paper] 关于草图表示学习的时序性
草图是人类手绘的对复杂场景和现实世界物体的简化抽象。虽然草图表示学习领域已经取得了显著的进展……
- · ai
[Paper] 教老 Tokenizer 新词：用于预训练模型的高效 Tokenizer 适配
Tokenizer 适配在将预训练语言模型转移到新领域或新语言中发挥重要作用。在本工作中，我们解决了两个互补的……
- · devops
[Paper] OD-MoE：按需专家加载用于无缓存边缘分布式 MoE 推理
Mixture-of-Experts（MoE），虽然作为大型语言模型（LLM）架构提供了显著优势，但在部署到低…
- · software
[Paper] 可调自动化在自动化程序验证中
基于SMT求解器的自动化验证工具在验证复杂软件系统方面取得了显著进展。然而，这些工具面临一个根本性的……
- · ai
[Paper] 参数高效混合 spiking-quantum 卷积神经网络，使用 surrogate gradient 和 quantum data-reupload
人工智能（AI）和深度学习（DL）的快速发展催生了多个以优化为驱动的子领域，尤其是神经…
- · ai
[Paper] 混合时序-8位脉冲编码用于脉冲神经网络代理训练
Spiking neural networks (SNNs) 已经成为计算神经科学和人工智能领域的一个有前景的方向，提供了诸如…的优势。
- · ai
[Paper] 通过跨层融合重建 KV 缓存以增强 Transformers
Transformer 解码器在各种任务中取得了强劲的结果，但 KV 缓存所需的内存在长序列长度下变得难以承受。虽然 …
- · ai
[Paper] 基于指南的医学推理在 LLMs 中的训练与评估
机器学习在医学早期预测方面最近表现出突破性性能，然而，过于关注提升预测准确性导致了一个 …
- · software
[Paper] 可运行目录：Monorepo vs. Multi-repo 辩论的解决方案
现代软件系统日益给传统的代码库组织策略带来压力。Monorepos 提供一致性，但往往面临可扩展性问题……
- · devops
[Paper] 关于 HPC 系统中能效分析的挑战：评估 Synthetic Benchmarks 与 Gromacs
本文讨论了在分析合成基准测试和 Gromacs 软件包在 Fritz 与 Alex HPC 系统上的能效时所遇到的挑战。
- · devops
[Paper] 分布式量子计算与 Fan‑Out 操作及 Qudit：分布式全局门的案例（初步研究）
近年来，关于分布式量子计算的大量研究主要集中在纠缠对和分布式双量子比特门的使用上。但也有关于 ef… 的研究。