deep-learning

Symbolic Mathematics

We explore multi-hop reasoning capabilities of Transformer/GNN methods in purely symbolic domains.

Reasoning in NLP

We investigate how to evaluate, explain and enhance neural models under the lens of reasoning.

Vision and Reasoning

In this project, we explore how reasoning with knowledge enhance image understanding.