@misc{indiciae592b61447e46,
  title = {TensorRight: Automated Verification of Tensor Graph Rewrites},
  author = {Jai Arora and Sirui Lu and Devansh Jain and Tianfan Xu and Farzin Houshmand and Phitchaya Mangpo Phothilimthana and Mohsen Lesani and Praveen Narayanan and Karthik Srinivasa Murthy and Rastislav Bodik and Amit Sabne and Charith Mendis},
  year = {2025},
  doi = {10.1145/3704865},
  url = {https://arxiv.org/abs/2511.17838},
  note = {Source identifier: 2511.17838}
}