A Walkthrough of Progress Measures for Grokking via Mechanistic Interpretability: What? (Part 1/3) | Neel Nanda | Podwise