心理语料库在 NLP 中是用于分析人类心理、情感和心理健康的文本集合。这些文本使研究人员能够研究心理……

我们提出了首个用于游戏可玩性测试的虚拟现实（VR）动作生成系统。我们的玩家模型能够生成 VR 头显和手持控制器的运动……

大型语言模型在交互式定理证明，尤其是 Lean 中取得了显著成果。然而，大多数针对基于 LLM 的证明自动化的基准……

随着LLM编码能力的快速提升，基于LLM的自动化软件开发的瓶颈正从生成正确代码转向……

Static security analysis 是一种广泛使用的技术，用于检测软件漏洞，覆盖各种弱点、应用领域和程序语言。

生成式人工智能（GenAI）的采用意味着软件工程将迎来重大变革，既包括技术层面的变化，也涉及专业人员的人文层面……

汽车软件的开发速度日益超过硬件的可用性，迫使后期集成并产生昂贵的硬件在环（HiL）瓶颈。InnoRegioCha…

对锂离子电池内部状态进行准确、实时且无损的估计对于预测退化、优化使用策略至关重要。

人工智能 (AI) 正在日益自动化软件开发任务的各个环节。虽然 AI 已提升了开发任务的生产力……

我们呈现了一项对开源面向消息的中间件（MOM）系统的全面特性研究。我们遵循了严格的方法论来选择和研究……

近期在 multimodal reasoning 方面的进展使得能够解释 imagery、将其与 language 连接并执行 structured analytical tasks 的 agents 成为可能。Extend...

扩散语言模型（Diffusion Language Models，DLMs）由于迭代去噪导致推理成本高，因而激励高效剪枝。现有的剪枝启发式方法大多继承……