@misc{indiciae57609e67d387, title = {Reading AI Model Compilation in MLIR Through the Lens of Formal Theories}, author = {Javed Absar}, year = {2026}, url = {https://arxiv.org/abs/2606.25244}, note = {Source identifier: 2606.25244} }