February 28, 2023 Alina Transformer learning explained: Coinductive guide to inductive transformer heads