TY - RPRT TI - The Misery of Mechanistic Interpretability: A Formal Perspective AU - Tobias Ladner AU - Matthias Althoff PY - 2026 UR - https://arxiv.org/abs/2609.15533 ID - 2609.15533 ER -