Paper Walkthrough: Automated Circuit Discovery with Arthur Conmy — AI Alignment Forum