Prism: Symbolic Superoptimization of Tensor Programs
Prism introduces the first symbolic superoptimizer for tensor programs, using a hierarchical graph representation (sGraph) to encode families of programs and prune suboptimal search spaces through symbolic reasoning about operator semantics and hardware constraints.
MentionsPrism · sGraph
Read full story at arXiv cs.LG →(arxiv.org)
Modelwire summarizes — we don’t republish. The full article lives on arxiv.org. If you’re a publisher and want a different summarization policy for your work, see our takedown page.