TY - RPRT TI - Formal Algorithms for Transformers AU - Mary Phuong AU - Marcus Hutter PY - 2022 UR - https://arxiv.org/abs/2207.09238 ID - 2207.09238 ER -