Biến bộ nhớ LLM thành công cụ phân tích chương trình một cách tình cờ

Thay vì cố gắng nâng cấp bộ nhớ cho các LLM agent, tôi đã xây dựng Lemmalog — một engine Datalog giúp duy trì kiến thức của agent dưới dạng trạng thái phân tích, hỗ trợ cả truy xuất nguồn gốc, thu hồi dữ liệu và đánh giá lũy tiến. Bài viết cũng chia sẻ kết quả khi tôi chạy benchmark hệ thống này trên LongMemEval và LoCoMo.