TensorRight: Automated Verification of Tensor Graph Rewrites

Jai Arora, Sirui Lu, Devansh Jain +9

Tensor compilers, essential for generating efficient code for deep learning models across various applications, employ tensor graph rewrites as one of the key optimizations. These…