· ai
[Paper] 函数式程序合成与高阶函数及递归模式
程序合成是根据一组规范（例如一组输入‑输出示例）生成计算机程序的过程。它可以被建模为……
-
- · ai
[Paper] 通过结构化知识发现方法提升语言模型生成的可解释性
Knowledge-enhanced text generation 旨在通过利用内部或外部知识源来提升生成文本的质量。虽然语言模型已经…
- · ai
[论文] 应对用于赌博障碍早期检测的挑战性语料库：UNSL 在 MentalRiskES 2025
赌博障碍是一种复杂的行为成瘾，难以理解和处理，伴随严重的身体、心理和社会后果……
- · ai
[Paper] 每个 Token 都很重要：在大型语言模型中推广 16M 超长上下文
本工作探讨了构建“能够记忆的机器”的挑战，将长期记忆框定为高效超长上下文建模的问题。W...
- · ai
[Paper] 面向自动安全驾驶指令：大规模视觉语言模型方法
大规模视觉语言模型（LVLMs）在需要视觉信息的任务中展现出先进的能力，包括目标检测。这些能力……
- · ai
[Paper] 缩小参数高效联邦边缘学习的泛化差距
联邦边缘学习（FEEL）为边缘人工智能（AI）提供了有前景的基础，通过实现协作模型训练，同时保护 d...
- · ai
[Paper] AI for 软件工程：从可能到可证明
Vibe coding，作为备受推崇的将 AI 技术用于编程的方式，面临两个巨大的障碍：目标指定的困难（“prompt engineering”是……）。
- · ai
[Paper] 稳定性边缘的谱集中：信息几何视角下的 Kernel Associative Memory
高容量核 Hopfield 网络表现出一种被称为“优化岭”的特性，其特点是极端的稳定性。虽然之前将其与“谱浓度”联系在一起，...
- · ai
[Paper] 智能神经网络：从层次结构到图组织的智能
生物神经元展现出非凡的智能：它们保持内部状态，选择性地与其他神经元通信，并自组织成复杂的……
- · ai
[Paper] 隐私保护的边缘跌倒检测使用 Sony IMX636 事件式视觉传感器和 Intel Loihi 2 神经形态处理器
使用非侵入式视觉系统进行老年人护理的跌倒检测仍然是一个重要但尚未解决的问题。受到严格隐私要求的驱动，infere...
- · ai
[Paper] 随机reservoirs 在不同拓扑结构下对不同自由度非线性动力系统的预测性能
Reservoir computing (RC) 是一种强大的框架，用于预测 nonlinear dynamical systems，然而 reservoir topology——尤其是连接中的 symmetry——的作用仍未得到充分研究。
- · ai
[Paper] Equilibrium Propagation 无限制
我们通过建立有限扰动基础来实现局部 credit assignment，从而将 Equilibrium Propagation (EP) 从无限小扰动的限制中解放出来。通过……