我如何把LLM记忆变成程序分析：Lemmalog 的诞生

开发者 Jordy Zomer 在漏洞研究中使用 LLM 智能体时发现，模型会逐渐丢失已确认的结论并产生幻觉。他借鉴程序分析思路，构建了 Lemmalog--一个面向 LLM 的 Datalog 引擎，将模型负责的模糊信息提取与确定性的规则推导分离。当某个观察事实被推翻时，引擎能自动使依赖它的结论失效，无需模型重新推理。