Logic

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.