@misc{indiciaeb1331886cb8f, title = {TensorLift: Automatic Extraction of Tensor-Level ISA Semantics from Accelerator RTL via MLIR Semantic Lifting}, author = {Ruijie Gao and Haoran Jin and Jirong Yang and Nathaniel Bleier}, year = {2026}, doi = {10.1145/3831252.3833946}, url = {https://arxiv.org/abs/2604.13523}, note = {Source identifier: 2604.13523} }