用 TMS 建模 Claim 证据变化，提出可撤销推理架构
letandrewcook · x · 2026-11-06
作者提出一个处理「证据基础变化时派生命题如何演化」的架构：
- 将 Claim c 建模为非空的可选理由集合 J(c)，每个理由 j 由前件 Signal 或 Claim 组成，支持遵循 OR-of-AND 语义，依赖图无环
- 当底层来源变异或消失时，用 Doyle 的 Truth Maintenance System (TMS) 追踪推理依赖，把支持损失沿图闭包向下传播
- 区分符号依赖与几何位置：密集嵌入只编码语义邻近，不保证沿特定维度的对立关系；架构为每个维度定义包含值空间、投影、比较函数、归一化器、原型、出处与版本的有序结构
- 配图给出 Claim 状态机：Proposed/Accepted/Contested 可恢复，Retrained 保留供审计、Superseded 可由后继触达，用户误删边可恢复状态
这是一个面向可撤销、可审计推理的符号-几何混合设计。
所属事件:耗时六个月的 LLM 多方记忆架构论文过审，提出可撤销推理设计(4 条相关)→
「研究」频道最新
- LeanPRM：用 Lean 合成数据训练自然语言数学证明验证器 — Pavel_Izmailov · 2026-11-07
- LeanPRM:用 Lean 自动标注 15.2 万步骤,4B 验证器准确率 48.2→74.7 — Pavel_Izmailov · 2026-11-07
- 用 Lean 自动生成数据训练验证器，可查自然语言数学证明错误 — Pavel_Izmailov · 2026-11-07
- UW与Ai2发布s³：多智能体RL让LLM集群自组织，性能超best-of-N — StellaLisy · 2026-11-07
- Maxwell:让编码智能体在训练中重新设计网络架构，AIME 从 64% 提至 71% — GabGarrett · 2026-11-07
- 研究者吐槽 ICLR 评审质量:评审竟比被评论文还差 — nsaphra · 2026-11-07