Vertechi, P.; Bergomi, M. G. Machines of Finite Depth: Towards a Formalization of Neural Networks. AAAI 2023, 37, 10061-10068.