Author name: Mengdi Wu, Xiaoyu Jiang, Oded Padon, Zhihao Jia

arXiv:2604.15272v1 Announce Type: cross
Abstract: This paper presents Prism, the first symbolic superoptimizer for tensor programs. The key idea is sGraph, a symbolic, hierarchical representation that compactly encodes large classes of tensor programs…