Our paper titled TensorRight: Automated Verification of Tensor Graph Rewrites has been accepted at POPL 2025! The preprint can be found here. The extended version would be available soon.