A Barebones Guide to Mechanistic Interpretability Prerequisites — Neel Nanda A Walkthrough of A Mathematical Framework for Transformer Circuits