TY  - RPRT
TI  - TensorLift: Automatic Extraction of Tensor-Level ISA Semantics from Accelerator RTL via MLIR Semantic Lifting
AU  - Ruijie Gao
AU  - Haoran Jin
AU  - Jirong Yang
AU  - Nathaniel Bleier
PY  - 2026
DO  - 10.1145/3831252.3833946
UR  - https://arxiv.org/abs/2604.13523
ID  - 2604.13523
ER  -