'Neural networks are the powerful engines of modern artificial intelligence. However, we still don't really understand them: unlike classical computers, we don't have a good language or framework to explain and predict the behaviour of neural networks. Finding such a framework is a fascinating open problem at the intersection of AI, logic, math, and cognitive science.'