TY - RPRT TI - Guided Tensor Lifting AU - Yixuan Li AU - José Wesley de Souza Magalhães AU - Alexander Brauckmann AU - Michael F. P. O'Boyle AU - Elizabeth Polgreen PY - 2025 UR - https://arxiv.org/abs/2504.19705 ID - 2504.19705 ER -