[Paper] SPARC:场景规划与推理用于自动化 C 单元测试生成
对于 C 语言而言,Automated unit test generation 仍然是一个巨大的挑战,因为 high-level program intent 与 rigid syntactic constraint 之间存在 semantic gap……
4659 posts from this source
对于 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...
资产管理壳(Asset Administration Shell,AAS)是一项在制造领域实现数字孪生的新兴技术。软件正变得越来越…
Federated Learning(FL)使得在不暴露客户端私有数据的情况下进行协作模型训练成为可能,并已在隐私敏感场景中得到广泛采用……
Extreme Edge Computing (XEC) 将流式工作负载分布在消费者拥有的设备上,利用它们与用户的接近性和无处不在的可用性。Man...
Meshless methods 用于求解偏微分方程,其方法是将节点处的微分算子近似为其邻域内数值的加权和……
零知识证明的生成对区块链系统施加了严格的时效性和可靠性约束。对于 ZK-rollups,延迟的证明会导致最终性延迟……
开源仓库(如 PyPI)中恶意软件包的普遍存在对软件供应链构成了关键威胁。虽然 Large Language Model...
我们研究稀疏交互图中 population protocols 的时空权衡。在完整的交互图中,最优的时空权衡是 kn...
随着大型语言模型(LLMs)的快速发展,在有限的 GPU 资源下高效提供 LLM 推理已成为一项关键挑战。最近...
快速增长的上下文长度导致人们假设大型语言模型(LLMs)可以直接对整个代码库进行推理。与此同时,最近……
Checkpoint/Restart(C/R)定期保存程序的运行状态,这会消耗相当多的系统资源。我们观察到,并非每一段…
大型语言模型(LLMs)可以将自然语言转换为优化代码,但静默失败构成了关键风险:代码在执行后返回 sol...
表面对齐假设(SAH)认为,大型语言模型在预训练期间学习了大部分知识,而后训练仅仅是…
虽然近期在humanoid locomotion方面取得了在各种地形上实现stable walking的进展,但捕捉高度动态的人类运动的agility和adaptivity仍然是一个挑战。
Machine learning surrogates 正在工程领域中被越来越多地用于加速昂贵的仿真,但训练与部署之间的分布漂移常常……
素描本质上是一个顺序过程,笔画按照有意义的顺序绘制,以探索和细化想法。然而,大多数 generative models 将……
近期深度强化学习(RL)的进展在高维控制任务上取得了显著成果,但将RL应用于可达性问题仍然面临挑战……
临床部署胸部X光分类器需要能够在新数据集可用时进行更新的模型,而无需对先前的...
在良性任务上对齐语言模型进行 Fine-tuning 会不可预测地削弱 safety guardrails,即使训练数据不包含有害内容,开发者……
计算连续体(Computing Continuum,CC)整合了从 Edge 到 Cloud 的不同层次的处理基础设施,以通过无处不在的…
越来越多的文献将大语言模型(LLMs)用作合成参与者,以在社会科学中生成成本效益高且几乎即时的响应。
由于可再生能源作为传统能源的替代品的使用率上升,尤其是太阳能,人们对研究…的兴趣日益增长。
Large Language Models(LLMs)的成功已经证明,通过模型容量和数据集规模的共同提升来扩展计算,是主要的驱动因素……
内镜在医学影像中至关重要,用于诊断、预后和治疗。开发一个稳健的动态 3D 重建流水线用于内镜视频……
当前对多模态模型的研究面临一个关键挑战,即提升生成能力往往会以牺牲理解能力为代价,反之亦然……
多模态大型语言模型(mLLMs)常用于在结构化数据中回答问题,例如 Markdown 表格、JSON 和图像。虽然这些模型……
本文介绍了 RaCo,一种轻量级神经网络,旨在学习稳健且多功能的关键点,适用于各种 3D 计算机视觉任务。Th...
Low-resource languages 在 Natural Language Processing 任务(如 lemmatization 和 part-of-speech (POS) tagging)中带来持续的挑战。本文 inves...
现有的 3D 开放词汇场景理解方法大多强调将来自 2D 基础模型的语言特征蒸馏到 3D 特征场中,但大...
视觉类比学习通过示范而非文本描述实现图像操作,使用户能够指定不同的复杂转换。
大型语言模型在许多复杂推理任务上表现出色,但它们在需要组合推理的基准测试中准确率会急剧下降。
商业计划(BP)写作在创业教育中发挥关键作用,通过帮助学习者构建、评估并迭代完善他们的想法。然而,...
在软件定义车辆(Software-Defined Vehicles)中进行功能测试具有挑战性,因为需求是用自然语言编写的,规格则结合了文本、表格和……
本研究调查了通过截断对潜在空间进行正则化对深度学习分类器生成的测试输入质量的影响。
我们提出了用于基本分布式计算问题的新分布式量子算法,即 leader election、broadcast、Minimum Spanning Tree(MST)以及……
联邦学习(Federated Learning,FL)使得在多个客户端之间进行分布式训练成为可能,而无需集中式数据共享;与此同时,图神经网络(Graph Neural Networks,GNNs)用于建模关系……
数学形态学(MM)是图像处理领域一种强大且广泛使用的框架。通过集合论和离散几何原理,MM 操作……