A Mathematical Framework for Transformer Circuits 이해하기 | Mechanistic Interpretability