LLM 메모리를 만들다 우연히 프로그램 분석 엔진이 된 이야기

장시간 취약점 조사에서 LLM이 이미 폐기된 가설을 다시 제안하거나, 틀린 전제에서 나온 결론을 계속 믿는 문제를 해결하려다 Datalog 기반 상태 관리 엔진 Lemmalog를 개발함
과거 대화를 검색하는 대신 현재 무엇이 참인지를 사실과 규칙으로 관리하고, 전제가 ...