NeuroSymbolic Reasoning

We investigate how to combine neural networks, logical systems to perform complex reasoning (agnostic of modalities)

Mathematical Reasoning

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.