The Computational Complexity of Circuit Discovery for Inner Interpretability - Adolfi, Federico; Vilas, Martina G.; Wareham, Todd (International Conference on Learning Representations, 2025)