搜索 AI 资讯

无阻塞式监督：面向协作运行时的基于证据的OTP式容错机制再设计

arXiv：2610.34521v1 发布类型：新 摘要：主流运行时上的 Actor 框架纷纷宣称支持 Erlang/OTP 式的监督机制，但 OTP 的一致性契约假定使用的是同步的单线程监督器，而端口则将这一假设的缺失视为未加审视的风险。我们对照已锁定版本的 OTP 官方文档与源码原文，逐一检验了各项监督保障；同时，还基于三个其他 Rust Actor 框架在固定版本下的源码进行了比对，并参考了有关 Actor 模型的文献，记录下每项设计决策背后的依据。通过盲目的对抗性审计与跨框架研究，我们发现了 24 类缺陷，其中 8 类可归结为同一个根本原因：即通过显式机制重新构建了同步监督器所隐含的原子性。我们提出了一种监督运行时 th

自然语言自动编码器可有效 verbalize 大模型激活差异，支持模型差分与可解释性研究

一项发表于2026年10月24日arXiv的论文（arXiv:2610.30934v1）系统评估了自然语言自动编码器（NLAs）在激活空间差异表征上的泛化能力，实验证明其在组合性、微调模型适配、微调目标恢复及模型差分专用化四方面表现稳健。

推荐理由：该研究基于四项可复现实验设计，覆盖四个来自三个家族的大语言模型，在激活 verbalization 这一新兴可解释性方向上提供了迄今最系统的泛化性证据；所有结论均严格限定于论文报告的实验设置与观测结果，未外推至未测试模型规模或任务。