TY - RPRT TI - Certified Mechanistic Interpretability: Lifting Single-Input Findings to Bounded Neighbourhoods AU - Zhen Zhang AU - Yanliang Huang AU - Peng Xie AU - Wenyuan Wu AU - Amr Alanwar PY - 2026 UR - https://arxiv.org/abs/2609.26112 ID - 2609.26112 ER -