尽管 transformer-based language models 取得了显著的实际成功，最近的研究对它们进行 state tracking 的能力提出了担忧。In...

我们描述了一个现代深度学习系统，该系统能够自动识别用于第一语言词汇教学的有信息量的上下文示例（qu{contexts}）。

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

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

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

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

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

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

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

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

Clear as Glass > 飞秒激光将数据蚀刻到一种非常稳定的介质中。注意：目前，silica 硬件尚未完全准备好商业化。Credit: Micr...

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