@misc{indiciaeafc2835d0ff6,
  title = {Tensor Seeks Layout: Formalizing Layout Selection for ML Compilers},
  author = {Clemens Eisenhofer and Yuwen Jia and Daniel Kroening and Sergey Pupyrev},
  year = {2026},
  url = {https://arxiv.org/abs/2608.21555},
  note = {Source identifier: 2608.21555}
}