GitHub repository: swarnaHub/PRover
Primary language: Python
Description: [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules