대규모 언어 모델(LLM)을 이용한 교착 상태가 없는 통신 프로토콜 정교화의 명세 기반 합성

요약

LLM을 활용하여 교착 상태가 없는 통신 프로토콜 정교화를 수행하는 Syntropy 프레임워크를 제안합니다. MPST 형식 명세를 생성 과정에 통합하여 높은 구문 정확도와 95.6% 이상의 유효성을 달성했습니다.

핵심 포인트

• MPST 명세를 활용한 교착 상태 없는 프로토콜 합성
• Syntropy 프레임워크를 통한 정교화 제약 조건 통합
• 95.6%~99.5%의 높은 프로토콜 유효성 입증
• LLM 기반의 신뢰성 있는 프로그램 합성 가능성 제시