logic

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.