@misc{indiciaea51e361628ce,
  title = {Certified Mechanistic Interpretability: Lifting Single-Input Findings to Bounded Neighbourhoods},
  author = {Zhen Zhang and Yanliang Huang and Peng Xie and Wenyuan Wu and Amr Alanwar},
  year = {2026},
  url = {https://arxiv.org/abs/2609.26112},
  note = {Source identifier: 2609.26112}
}