Prism: Symbolic Superoptimization of Tensor Programs

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 by symbolically representing some execution parameters. Prism organizes optimization as a two-level search: it constructs symbolic graphs that represent families of programs, and then instantiates them into concrete implementations. This formulation enables structured pruning of provably suboptimal regions of the search space using symbolic reasoning over operator semantics, algebraic identities, and hardware constraints. We develop techniques for efficient symbolic graph generation, equivalence verification via e-graph rewriting, and parameter instantiation through auto-tuning. Together, these components allow Prism to bridge the rigor of exhaustive search with the scalability required for modern ML workloads. Evaluation on five commonly used LLM workloads shows that Prism achieves up to 2.2imes speedup over best superoptimizers and 4.9imes over best compiler-based approaches, while reducing end-to-end optimization time by up to 3.4imes.

Related

• TCL: Enabling Fast and Efficient Cross-Hardware Tensor Program Optimization via Continual Learning
• Robust Low-Rank Tensor Completion based on M-product with Weighted Correlated Total Variation and Sparse Regularization
• Natural Riemannian gradient for learning functional tensor networks
• Quantum-Inspired Tensor Network Autoencoders for Anomaly Detection: A MERA-Based Approach

Source: arXiv cs.LG | 2026-04-17