How Do Transformers Learn Variable Binding in Symbolic Programs? | Read Paper on Bytez