Symbolic superoptimization can dramatically speed up tensor program execution by representing families of programs symbolically and using algebraic reasoning to eliminate provably suboptimal options before concrete testing.
Prism is a tool that automatically finds faster ways to run tensor programs (the computational kernels used in AI models) by using symbolic reasoning to explore many optimization possibilities at once.