TY  - RPRT
TI  - Prism: Symbolic Superoptimization of Tensor Programs
AU  - Mengdi Wu
AU  - Xiaoyu Jiang
AU  - Oded Padon
AU  - Zhihao Jia
PY  - 2026
UR  - https://arxiv.org/abs/2604.15272
ID  - 2604.15272
ER  -