A Walkthrough of A Mathematical Framework for Transformer Circuits | Neel Nanda | Podwise