LLM 기반 프로그램 추론의 정확성 판단: LLM 기반 코드 추론을 위한 완성 의미론

요약

본 논문은 LLM 기반 코드 추론의 정확성을 판단하기 위한 '완성 의미론(completion semantics)'을 제안합니다. 이는 불완전한 프로그램 조각에 대한 추론이 절대적이지 않고, 어떤 완성 모델에 의존하는지를 설명합니다. 이 접근 방식은 증인 생성 워크플로우를 통해 추론의 근거가 되는 실행 가능한 정제(refinements)를 구체화하여 검증 가능성을 높입니다.

핵심 포인트

• LLM 코드는 불완전한 조각에 대한 가정에 의존한다.
• 완성 의미론은 프로그램 추론의 정확성을 정의하는 새로운 관점이다.
• 증인 생성 워크플로우로 추론을 구체화하고 검증할 수 있다.