요약

본 논문은 등식 프로그램 최적화의 주요 패러다임인 등식 포화(Equality Saturation)와 확률적 탐색(Stochastic Search) 방식을 엄격하게 비교 분석합니다. 5개의 벤치마크를 통해 e-graph 기반의 등식 포화 방식이 실제로 얼마나 유용한지를 검증합니다.

핵심 포인트

• 등식 포화(Equality Saturation)와 확률적 탐색(Stochastic Search) 간의 성능 비교 수행
• e-graph의 실질적인 유용성을 검증하기 위한 5개의 벤치마크 활용
• 등식 프로그램 최적화 분야에서의 새로운 비교 연구 기준 제시