[Paper] SPARC:场景规划与推理用于自动化 C 单元测试生成
对于 C 语言而言,Automated unit test generation 仍然是一个巨大的挑战,因为 high-level program intent 与 rigid syntactic constraint 之间存在 semantic gap……
对于 C 语言而言,Automated unit test generation 仍然是一个巨大的挑战,因为 high-level program intent 与 rigid syntactic constraint 之间存在 semantic gap……
高精度(HD)地图对自动驾驶至关重要,提供道路要素的结构化表示,以支持导航和规划。然而,...
AI agents 正在越来越多地被部署来执行重要任务。虽然在 standard benchmarks 上不断上升的 accuracy scores 暗示了快速的进展,但许多 agents 仍然 co...
Adversarial diffusion 和 diffusion-inversion 方法推动了 unpaired image-to-image translation,但各自面临关键限制。Adversarial approaches …
聚合物文献包含大量且不断增长的实验知识,但其中许多埋藏在非结构化文本和不一致的术语中,maki...
大型语言模型(LLMs)的快速激增已经彻底改变了自然语言处理(NLP),但同时也造成了“资源鸿沟”。
稀有事件采样问题长期以来一直是分子动力学(MD)的核心限制因素,尤其是在生物分子模拟中。最近,扩散…
人类可以从视觉外观推断物体的材料特性,这种能力也延伸到艺术描绘中,在那里类似的感知……
大型语言模型(LLMs)正日益被用作自然语言生成评估的自动评估器,通常采用成对比较判断……
当前最先进的多向量模型是通过在强大的单向量模型之上进行一次小规模的知识蒸馏(KD)训练步骤获得的,lever...
市政会议记录是记录地方政府讨论和决策的正式文档,但其内容往往冗长、密集且难以理解……
对大型语言模型(LLMs)的需求日益增长,要求服务系统能够处理大量并发请求,并满足多样化的服务水平目标(SLOs)。Th...