Toward a Theory of Causation for Interpreting Neural Code Models. - David Nader-Palacio; Alejandro Velasco; Nathan Cooper; Alvaro Rodriguez; Kevin Moran; Denys Poshyvanyk (IEEE Trans. Software Eng., 2024)