A Walkthrough of A Mathematical Framework for Transformer Circuits — LessWrong