최신 네트워크 시스템 아키텍처 설계는 복잡한 상호 작용을 가진 다양한 요소들을 고려해야 하며, LLM은 이러한 복잡성을 제대로 처리하지 못하는 것으로 나타났어요.
연구팀은 LLM이 제안하는 설계가 중요한 제약 조건을 놓치거나 잘못된 가정을 포함하고, 기존 패턴에 얽매이는 경향이 있다는 것을 확인했어요.
Kepler는 전문가가 제공하는 구조화된 사양과 SMT 기반 최적화를 결합하여 LLM의 한계를 극복하고, 설계 과정에서 놓치는 상호 작용을 발견하고 설명 가능한 설계 탐색을 지원하는 프레임워크예요.