MLIR
다단계 중간 표현 컴파일러 프레임워크. Ada-MK에서는 이를 활용해 DAG 기반의 오프라인 검색을 수행하고, 런타임 분기를 제거하여 추론 성능을 최적화하는 데 핵심적인 역할을 한다.