Cómo convertí accidentalmente la memoria de los LLM en análisis de programas

I accidentally turned LLM memory into program analysis

En este artículo, el autor explora un enfoque novedoso para la memoria de los LLM en la investigación de vulnerabilidades. En lugar de depender de la recuperación de conversaciones pasadas, propone mantener un estado de conocimiento estructurado mediante un motor Datalog llamado Lemmalog. Este sistema rastrea hechos, reglas y dependencias, permitiendo invalidar automáticamente conclusiones cuando cambian las observaciones, y proporciona procedencia para cada resultado. El autor compara este enfoque con el análisis estático de programas y discute cómo combina la extracción difusa de información con el razonamiento determinista.