TY - RPRT TI - Tensor Seeks Layout: Formalizing Layout Selection for ML Compilers AU - Clemens Eisenhofer AU - Yuwen Jia AU - Daniel Kroening AU - Sergey Pupyrev PY - 2026 UR - https://arxiv.org/abs/2608.21555 ID - 2608.21555 ER -