arXiv Machine Learning

Interpretability for Turing Machines

The paper demonstrates that the interpretability method known as susceptibilities, originally used for neural networks, can detect algorithmic structure in Turing machines by examining the local loss landscape of a learning problem for noisy Turing machines. It proves that symmetries and path separation in a Turing machine’s algorithm produce permutation symmetries and low‑rank blocks in the susceptibility matrix. Empirical studies on deterministic finite automata show that algorithmic features can be recovered through principal component analysis and clustering in susceptibility space.

arXiv AI
Jun 15

Actionable Interpretability Must Be Defined in Terms of Symmetries

arXiv:2601. 12913v4 Announce Type: replace Abstract: This paper argues that interpretability research in Artificial Intelligence (AI) is fundamentally ill-posed as existing definitions of interpretability fail to describe how interpretability can be formally tested or designed for.

By Pietro Barbiero, Mateo Espinosa Zarlenga, Francesco Giannini, Alberto Termine, Filippo Bonchi, Mateja Jamnik, Giuseppe Marra
arXiv AI
Jun 30

Machine-learnable Sets

arXiv:2606. 28947v1 Announce Type: cross Abstract: In this study we present a formal definition of large discrete sets having, informally, three properties: their elements are easily recognized, easily generated, and the latter tasks are easily learned from examples.

By Veit Elser, Manish Krishan Lal