Papers
Scaling Up AND/OR Abstraction Sampling
IJCAI 2020
Constrained Fact Verification for FEVER
EMNLP 2020
Towards Grounding of Formulae
EMNLP 2020
Differentiable Scene Graphs
WACV 2020