· ai
[Paper] 少提示，多微笑：使用语义工程取代提示工程的 MTP
AI 集成编程正逐渐成为构建具备大型语言模型（LLM）的智能系统的基础范式。最近的方法，例如 M...
-
- · ai
[Paper] SLMFix: 利用小型语言模型通过强化学习进行错误修复
Recent advancements in large language models (LLMs) have shown very impressive capabilities in code generation across many programming languages. However, even ... 近期在大型语言模型（LLMs）方面的进展显示出在多种编程语言的代码生成上非常令人印象深刻的能力。然而，即使……
- · devops
> **Source:** ... [论文] 在 ARMv8 环境中对虚拟地址远程 DMA 的 IOMMU 支持
在具有多个计算节点且每个节点内包含多个 CPU 并保持一致性的复杂系统中，一个关键挑战是维护高效且正确的 …
- · ai
神经架构搜索用于量子自编码器
近年来，机器学习和深度学习通过推动图像分类、语音识别和异常检测等领域的进步，取得了显著的成果。
- · software
[Paper] 合成用于缩小规范候选的测试用例
本文提出了一种技术，帮助在一组备选方案中选择最佳的形式规范候选。给定一组规范，我们的技术……
- · software
[Paper] LLMs 驱动的实时故障注入：面向智能故障测试用例生成的方法
一种广为人知的用于汽车软件系统（ASSs）安全评估和实时验证的测试方法是故障注入（Fault Injection，FI）。根据……
- · ai
[Paper] Lehmer 码的理论与实证分析：使用进化算法搜索置换空间
对候选解表示的恰当选择对于进化算法及相关元启发式方法的效率至关重要。我们关注……
- · software
[Paper] LLMAID：使用大型语言模型识别 Android 应用中的 AI 能力
Recent advancements in artificial intelligence (AI) and its widespread integration into mobile software applications have received significant attention, highli...
- · ai
[Paper] LLM驱动的内核演进：在 Linux 中自动化驱动更新
Linux 内核演进通过 API/ABI 变更、语义转变以及安全强化更新破坏驱动程序。我们介绍 **DRIVEBENCH**，一个可执行的语料库……
- · software
[Paper] 面向优化的深度学习编译器测试生成
Deep Learning（DL）编译器已被广泛用于优化 DL 模型，以实现跨各种硬件的高效部署。由于它们在 DL...
- · software
[Paper] VecIntrinBench：用于 RISC‑V 向量的跨架构内在代码迁移基准测试
内在函数是编译器提供的专用函数，能够高效地在特定架构的硬件上运行，使程序员能够编写…
- · ai
[论文] 时间旅行：使用 Git Bisect 的 LLM 辅助语义行为定位
我们提出了一个新颖的框架，将大型语言模型（LLMs）集成到 Git bisect 过程中，以实现语义故障定位。传统的 bisect 假设……