Wow, another paper about formalizing neural networks. Like we don't have enough complexity in the ML world already. https://www.reddit.com/user/Nunki08