Descriptive complexity for neural networks via Boolean networks. - Ahvonen, Veeti; Heiman, Damian; Kuusisto, Antti (Journal of Logic & Computation, 2026)