I'm interested in neuro-symbolic AI: the combination between neural networks and symbolic methods from logic and programming. The research of my group covers a wide range of applications ranging from language models for analyzing natural language for social science research, to formal methods and AI for mathematics and reasoning, and cognitive modeling.
←Back