Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees - Hadad, Itamar; Katz, Guy; Bassan, Shahaf (International Conference on Learning Representations, 2026)