Certified Mechanistic Interpretability: Lifting Single-Input Findings to Bounded Neighbourhoods
arXiv:2609.26112v1 Announce Type: cross Abstract: Mechanistic interpretability reverse-engineers transformer circuits one input at a time, leaving observed mechanisms without guarantees over bounded input neighbourhoods. We address this gap with a framework based on constrained polynomial-zonotope…