TY  - RPRT
TI  - TensorRight: Automated Verification of Tensor Graph Rewrites
AU  - Jai Arora
AU  - Sirui Lu
AU  - Devansh Jain
AU  - Tianfan Xu
AU  - Farzin Houshmand
AU  - Phitchaya Mangpo Phothilimthana
AU  - Mohsen Lesani
AU  - Praveen Narayanan
AU  - Karthik Srinivasa Murthy
AU  - Rastislav Bodik
AU  - Amit Sabne
AU  - Charith Mendis
PY  - 2025
DO  - 10.1145/3704865
UR  - https://arxiv.org/abs/2511.17838
ID  - 2511.17838
ER  -