· software
[Paper] 从问题到洞察:基于RAG的解释生成来自软件工程制品
现代软件系统日益复杂,使得理解其行为变得越来越具有挑战性,推动了对可解释性的需求以提升……
现代软件系统日益复杂,使得理解其行为变得越来越具有挑战性,推动了对可解释性的需求以提升……
复杂 AI 系统的快速采用已经超出了确保其透明性、安全性和监管合规性工具的开发速度。在本文中,...
基于搜索的测试对于评估自动驾驶系统(ADSs)的安全性和可靠性至关重要。然而,现有的方法通常建立在……
一些互连网络基于完全图拓扑结构。中等规模的网络可以基于单个完全图。然而,大规模的……
基于Transformer的语言模型的出现已经重塑了AI系统处理和生成文本的方式。在软件工程(SE)中,这些模型现在支持di...
软件材料清单(SBOM)是一种机器可读的工件,系统地组织软件信息,提升供应链透明度和…
Pharo 提供了一个基于语义启发式的高级补全引擎,它在惰性架构中协调特定的 fetcher。这些启发式…
分布式 AI 系统在计算、通信和部署层面面临关键的内存管理挑战。基于 RRAM 的内存计算遭受……
实验:探究黑箱 多年来,我们一直把大型语言模型(LLMs)视作黑箱。当模型说:“我目前正在思考 c...” 时……
我们提出了 Mesh4D,一种用于单目 4D 网格重建的前馈模型。给定一个动态物体的单目视频,我们的模型能够重建该物体的…
最近,Quantum Visual Fields(QVFs)在模型紧凑性和收敛速度方面表现出有希望的改进,用于学习提供的2D或3D信号……
夜间颜色恒常性仍然是计算摄影中的一个具有挑战性的问题,因为低光噪声和复杂的照明条件。我们提出了 RL‑A…