Circuit Claims Depend on What Is Extracted and How It Is Compared.

arXiv:2607.18921v3 Announce Type: replace-cross Abstract: Circuit extraction identifies model components whose presence preserves a target behavior under ablation, but preserving behavior does not single out one circuit. We study this in a synthetic Lean tacti