· ai
[Paper] 面向隐私保护的代码生成：差分隐私代码语言模型
专注于代码的大型语言模型（CodeLLM）在生成代码片段、文档和测试用例方面展示了卓越的能力。Howe...
-
- · ai
[Paper] 学习进化并通过 Neural Unrolling 实现收敛保证
从手工设计的启发式方法向数据驱动的进化算法转变面临一个根本性的两难困境：在实现神经可塑性的同时不牺牲 …
- · ai
[Paper] REMODEL-LLM：使用 LLM 将 C 代码转换为 Java
将 C 代码自动翻译成 Java 代码是一项臭名昭著的困难任务，充满了源于根本范式转变（过程式 ...）的挑战。
- · software
[Paper] AutoFSM：一种用于 FSM 代码生成、IR 与基于 SystemC 测试的多代理框架
随着大语言模型（LLMs）在代码生成方面的快速发展，它们在硬件设计中的应用正受到越来越多的关注。然而，e...
- · software
[Paper] CIS 基准扫描结果的可视化
在本文中，我们介绍了 GraphSecure，这是一款提供安全扫描结果高级分析和可视化的 Web 应用程序。GraphSecure 使用户……
- · devops
[Paper] RollMux：相位级多路复用用于去聚合的RL后训练
Rollout-training 解耦正逐渐成为强化学习（Reinforcement Learning，RL）后训练的标准架构，其中内存受限的 rollout 和 compute-b…
- · software
[Paper] 覆盖不足：SBFL 驱动的对手动创建与自动生成测试的洞察
测试阶段是软件开发的关键环节，但手动创建测试用例可能耗时。因此，对……的需求日益增长。
- · ai
[Paper] GPU本地编译的理论基础：快速代码迭代
当前的 AI 代码生成系统在编译、执行和测试阶段由于 CPU 与 GPU 之间的数据传输而遭受显著的延迟瓶颈……
- · devops
[Paper] 基于 LLVM 的 SPDZ 优化流水线
主动安全算术 MPC 现在已可用于实际应用，但性能和可用性仍受限于框架特定的编译栈，……
- · ai
[Paper] StereoSpace：在规范空间中通过端到端扩散实现深度无关的立体几何合成
我们介绍了 StereoSpace，一个基于 diffusion 的 monocular-to-stereo 合成框架，它仅通过 viewpoint conditioning 来建模几何，而无需 …
- · ai
[Paper] WorldLens：真实世界中驾驶世界模型的全谱评估
生成式世界模型正在重塑具身 AI，使代理能够合成看起来逼真的 4D 驾驶环境，但往往在物理上失败……
- · ai
[Paper] 通过立体和中层视觉赋能动态城市导航
在语言和视觉领域基础模型的成功激励了对全端到端机器人导航基础模型（NFMs）的研究。NFMs 直接映射单目……