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

← 피드로

장시간 취약점 조사에서 폐기된 가정과 그에 의존한 결론이 되살아나는 문제를 해결하려다, 지식을 검색하는 메모리 대신 현재 유효한 분석 상태를 유지하는 Datalog 엔진 Lemmalog를 개발함 LLM은 자연어·코드·디버거 출력을 구조화된 사실로 바꾸고, Lemmalog는 증분 평가…

원문 보기 ↗