KBSpec: 진화하는 도메인 지식 베이스를 활용한 LLM 기반 형식 명세 생성

요약

KBSpec은 LLM의 형식 명세 생성 능력을 향상시키기 위해 외부 문서와 검증기 피드백을 결합한 자기 진화형 지식 베이스를 제안합니다. 별도의 파라미터 튜닝 없이도 JML 명세 생성 시 검증 통과율을 기존 방식보다 10-25% 향상시켰습니다.

핵심 포인트

• 이중 소스 지식(외부 문서 및 검증기 피드백)을 활용한 LLM 증강
• 학습 데이터나 파라미터 튜닝 없는 자기 진화형 지식 베이스 구축
• JML 명세 생성 시 검증 통과율 10-25% 향상 달성
• 높은 완전성을 가진 형식 명세 생성 능력 입증