Formalizing In-Context Learning in Transformers as Implicit Gradient Descent | Synapse