TY - RPRT TI - Machines of finite depth: towards a formalization of neural networks AU - Pietro Vertechi AU - Mattia G. Bergomi PY - 2022 UR - https://arxiv.org/abs/2204.12786 ID - 2204.12786 ER -