본 논문에서는 텐서 프로그램의 기호적 초최적화(symbolic superoptimization)를 수행하는 최초의 도구인 Prism을 소개합니다.
Prism은 sGraph라는 기호적 계층 구조 표현을 사용하여 텐서 프로그램의 실행 파라미터를 기호적으로 표현하고, 두 단계의 검색을 통해 최적화 과정을 진행합니다.
다섯 가지 LLM 워크로드에 대한 실험 결과, Prism은 기존 최적화 방법보다 최대 2.2배 빠른 속도를 달성하고, 전체 최적화 시간을 최대 3.4배 단축했습니다.