Re:L
취약점 분석 중 LLM의 반복 실수 해결하려다 만든 Datalog 기반 상태 관리 엔진 'Lemmalog' | Re:L