Tsinghua AIR（J. Feng 等）｜arXiv:2608.01755｜SkillForge-Verify：用形式化验证剪枝幻觉技能
把 skill precondition/effect 写成线性时序逻辑，调用前跑轻量 SMT 检查；在 ToolBench 上剔除 14% 幻觉 skill，且不伤有效 skill 召回。 ​​​